Changeset 1166 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 2, 2011, 10:35:24 AM (8 years ago)
Author:
mulligan
Message:

moved joint ltl lin files into their own directory. more changes to ltl and lin passes to help type checker in ertl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1164 r1166  
    33include "LIN/JointLTLLIN.ma".
    44
    5 definition ltl_statement ≝
    6     joint_statement label Register Register
    7                     Register Register Register
    8                     registers_move.
     5inductive ltl_statement (globals: list ident): Type[0] ≝
     6  ltl_st_lift_joint: joint_statement label Register Register Register Register Register registers_move globals → ltl_statement globals.
    97 
    108definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.