Changeset 1132 for src/LIN/LIN.ma


Ignore:
Timestamp:
Aug 29, 2011, 5:30:25 PM (9 years ago)
Author:
mulligan
Message:

reunified ltl and lin instruction type, removing lifting in ltl and lin and simplifying the ertl > ertl passes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1110 r1132  
    11include "LIN/JointLTLLIN.ma".
    22 
    3 inductive pre_lin_statement (globals: list ident): Type[0] ≝
    4   | lin_st_lift : joint_statement unit globals → pre_lin_statement globals
    5   | lin_st_goto: label → pre_lin_statement globals.
     3definition pre_lin_statement ≝ joint_statement unit.
    64
    75definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.