Changeset 1138 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Aug 30, 2011, 12:08:25 PM (9 years ago)
Author:
mulligan
Message:

merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1136 r1138  
    2727  | ertl_st_int: register → Byte → label → ertl_statement
    2828  | ertl_st_move: register → register → label → ertl_statement
     29  | ertl_st_opaccs: OpAccs → register → register → register → register → label → ertl_statement
     30(* XXX: changed from O'Caml
    2931  | ertl_st_opaccs_a: OpAccs → register → register → register → label → ertl_statement
    3032  | ertl_st_opaccs_b: OpAccs → register → register → register → label → ertl_statement
     33*)
    3134  | ertl_st_op1: Op1 → register → register → label → ertl_statement
    3235  | ertl_st_op2: Op2 → register → register → register → label → ertl_statement
Note: See TracChangeset for help on using the changeset viewer.