Ignore:
Timestamp:
Aug 29, 2011, 5:30:25 PM (8 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/JointLTLLIN.ma

    r1110 r1132  
    2727inductive joint_statement (A: Type[0]) (globals: list ident): Type[0] ≝
    2828  | joint_st_sequential: joint_instruction globals → A → joint_statement A globals
     29  | joint_st_goto: label → joint_statement A globals
    2930  | joint_st_return: joint_statement A globals.
Note: See TracChangeset for help on using the changeset viewer.