Changeset 1116 for src/RTLabs
- Timestamp:
- Aug 26, 2011, 6:47:25 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/syntax.ma
r1071 r1116 14 14 | St_cost : costlabel → label → statement 15 15 | 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 *) 18 18 | St_load : memory_chunk → register → register → label → statement 19 19 | St_store : memory_chunk → register → register → label → statement
Note: See TracChangeset
for help on using the changeset viewer.