Changeset 1164 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 1, 2011, 4:53:01 PM (8 years ago)
Author:
mulligan
Message:

ltl to lin working again, more changes to joint syntax

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1163 r1164  
    44
    55definition ltl_statement ≝
    6   λglobals.
    7     joint_statement label globals Register
     6    joint_statement label Register Register
    87                    Register Register Register
    9                     Register (Register × Register).
     8                    registers_move.
    109 
    1110definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.