Changeset 1179 for src/LIN/LIN.ma


Ignore:
Timestamp:
Sep 5, 2011, 11:58:58 AM (9 years ago)
Author:
mulligan
Message:

changes to ertl, ltl and lin to use new notion of joint params. ertl to ltl pass in process of being changed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1171 r1179  
    22
    33definition lin_params: params ≝
    4  mk_params unit unit unit unit registers_move Register.
     4 mk_params
     5   label unit unit unit unit registers_move Register
     6     unit unit unit unit.
    57
    68definition pre_lin_statement ≝
    7  λglobals: list ident. joint_statement unit unit lin_params globals.
     9 λglobals: list ident. joint_statement lin_params globals.
    810
    911definition lin_statement ≝
Note: See TracChangeset for help on using the changeset viewer.