Changeset 1166 for src/LIN


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/LIN/LIN.ma

    r1164 r1166  
    11include "LIN/JointLTLLIN.ma".
    22 
    3 definition pre_lin_statement ≝
    4   joint_statement unit Register Register
    5                   Register Register Register
    6                   registers_move.
     3inductive pre_lin_statement (globals: list ident): Type[0] ≝
     4  | lin_st_lift_joint: joint_statement unit Register Register Register Register Register registers_move globals → pre_lin_statement globals.
    75
    86definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.