Changeset 1107 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Aug 24, 2011, 2:43:58 PM (10 years ago)
Author:
mulligan
Message:

got rtl-ertl pass working again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1084 r1107  
    3232  | ertl_st_load: register → register → register → label → ertl_statement
    3333  | ertl_st_store: register → register → register → label → ertl_statement
    34   | ertl_st_call_id: label → Byte → label → ertl_statement
     34  | ertl_st_call_id: ident → Byte → label → ertl_statement
    3535  | ertl_st_cond: register → label → label → ertl_statement
    36   | ertl_st_return: label → ertl_statement.
     36  | ertl_st_return: ertl_statement.
    3737
    3838definition ertl_statement_graph ≝ graph ertl_statement.
Note: See TracChangeset for help on using the changeset viewer.