Changeset 1171 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 2, 2011, 2:51:20 PM (9 years ago)
Author:
mulligan
Message:

changes made on claudio's request: changed order of nesting in the joint-ertl statements to make the semantics easier to write. big changes required...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1168 r1171  
    66 mk_params unit unit unit unit registers_move Register.
    77
    8 definition ltl_statement ≝ λglobals: list ident. joint_statement label ltl_params globals.
     8definition ltl_statement ≝ λglobals: list ident. joint_statement label unit ltl_params globals.
    99 
    1010definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.