Home

Welcome to the cml-syntax wiki!

This wiki is intended to track the state of CML grammar as it is implemented in the tool. It's still a little rough at the moment, but we're working on it. Contact Joey [email protected] if you have questions or want to be added to the editing team.

Sections:

• Toplevel bits: the top abstraction CML Model and contained Declarations
• Processes and the syntax for chanset/nameset expressions
• Actions and Statements
• Operation declarations
• Expressions, Function declarations, and Patterns
• Types