Changeset 1116 for src/RTLabs


Ignore:
Timestamp:
Aug 26, 2011, 6:47:25 PM (8 years ago)
Author:
sacerdot
Message:

Some comments.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r1071 r1116  
    1414| St_cost : costlabel → label → statement
    1515| St_const : register → constant → label → statement
    16 | St_op1 : unary_operation → register → register → label → statement
    17 | St_op2 : binary_operation → register → register → register → label → statement
     16| St_op1 : unary_operation → register → register → label → statement (* destination source *)
     17| St_op2 : binary_operation → register → register → register → label → statement (* destination source1 source2 *)
    1818| St_load : memory_chunk → register → register → label → statement
    1919| St_store : memory_chunk → register → register → label → statement
Note: See TracChangeset for help on using the changeset viewer.