We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Varset expression now optional inside replicated expressions
Delete the 'commonInterleaving' replicated action that corresponded to `[|| nameset ||] replDecl @ action`
Delete syntax for configuration blocks
Remove non-deterministic assignment definitions (fix #10)
Fix #21
typo
Remove Chaos keyword from actions (fix #24)
Add bare identifiers as allowed actions (fix #25)
Updated CMLGrammar (markdown => rest)