Changeset 1082 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Jul 20, 2011, 5:17:38 PM (9 years ago)
Author:
mulligan
Message:

work from today on ertl -> ltl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1077 r1082  
    66include "common/Registers.ma".
    77
    8 definition hardware_register ≝ Register.
    98definition registers ≝ list register.
    109
     
    1312  | ertl_st_comment: String → label → ertl_statement
    1413  | ertl_st_cost: costlabel → label → ertl_statement
    15   | ertl_st_get_hdw: register → hardware_register → label → ertl_statement
    16   | ertl_st_set_hdw: hardware_register → register → label → ertl_statement
    17   | ertl_st_hdw_to_hdw: hardware_register → hardware_register → label → ertl_statement
     14  | ertl_st_get_hdw: register → Register → label → ertl_statement
     15  | ertl_st_set_hdw: Register → register → label → ertl_statement
     16  | ertl_st_hdw_to_hdw: Register → Register → label → ertl_statement
    1817  | ertl_st_new_frame: label → ertl_statement
    1918  | ertl_st_del_frame: label → ertl_statement
Note: See TracChangeset for help on using the changeset viewer.