Ignore:
Timestamp:
Aug 24, 2011, 5:12:10 PM (9 years ago)
Author:
campbell
Message:

Update branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma

    r1084 r1109  
    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.