Changes between Version 1 and Version 2 of The MiniMP Intermediate Representation


Ignore:
Timestamp:
01/08/10 14:35:01 (16 years ago)
Author:
zirkel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • The MiniMP Intermediate Representation

    v1 v2  
    22== Processes ==
    33== Variables ==
    4  * BoundVariable
    5  * FormalVariable
    6  * LocalVariable
    7  * ProcessVariable
    8  * SharedVariable
     4 * !BoundVariable
     5 * !FormalVariable
     6 * !LocalVariable
     7 * !ProcessVariable
     8 * !SharedVariable
    99== Types ==
    10  * ArrayType
    11  * FunctionType
    12  * PointerType
    13  * RecordType
     10 * !ArrayType
     11 * !FunctionType
     12 * !PointerType
     13 * !RecordType
    1414== Expressions ==
    15  * PlusExpression
    16  * TimesExpression
    17  * DivideExpression
    18  * AddressOfExpression
     15 * !PlusExpression
     16 * !TimesExpression
     17 * !DivideExpression
     18 * !AddressOfExpression
    1919 * LHSExpression
    20    * DereferenceExpression
    21    * RecordNavigationExpression
    22  * ExistsExpression
    23  * ForallExpression
    24  * IfThenElseExpression
    25  * LiteralExpression
    26  * NotEmptyExpression
    27  * NotFullExpression
    28  * QuantifierExpression
    29  * VariableExpression
     20   * !DereferenceExpression
     21   * !RecordNavigationExpression
     22 * !ExistsExpression
     23 * !ForallExpression
     24 * !IfThenElseExpression
     25 * !LiteralExpression
     26 * !NotEmptyExpression
     27 * !NotFullExpression
     28 * !QuantifierExpression
     29 * !VariableExpression
    3030== Statements ==
    31  * AllocateStatement
    32  * AssertionStatement
    33  * AssignmentStatement
    34  * AssumeStatement
    35  * DeallocateStatement
    36  * InvocationStatement
    37  * NoopStatement
    38  * ReceiveStatement
    39  * SendStatement
     31 * !AllocateStatement
     32 * !AssertionStatement
     33 * !AssignmentStatement
     34 * !AssumeStatement
     35 * !DeallocateStatement
     36 * !InvocationStatement
     37 * !NoopStatement
     38 * !ReceiveStatement
     39 * !SendStatement
    4040== Functions ==