| Version 1 (modified by , 16 years ago) ( diff ) |
|---|
The MiniMP Intermediate Representation
Processes
Variables
Types
Expressions
- PlusExpression
- TimesExpression
- DivideExpression
- AddressOfExpression
- LHSExpression
- ExistsExpression
- ForallExpression
- IfThenElseExpression
- LiteralExpression
- NotEmptyExpression
- NotFullExpression
- QuantifierExpression
- VariableExpression
Statements
- AllocateStatement
- AssertionStatement
- AssignmentStatement
- AssumeStatement
- DeallocateStatement
- InvocationStatement
- NoopStatement
- ReceiveStatement
- SendStatement
Functions
Note:
See TracWiki
for help on using the wiki.
