Changeset 1180 for src/LTL


Ignore:
Timestamp:
Sep 5, 2011, 12:01:58 PM (8 years ago)
Author:
mulligan
Message:

lin to ltl pass complete

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTLToLIN.ma

    r1171 r1180  
    1010  λs: ltl_statement globals.
    1111  match s with
    12   [ joint_st_return ⇒ joint_st_return globals
    13   | joint_st_sequential instr _ ⇒ joint_st_sequential … globals instr it
    14   | joint_st_goto l ⇒ joint_st_goto globals l
    15   | joint_st_extension ext ⇒ joint_st_extension ext
     12  [ joint_st_return ⇒ joint_st_return lin_params globals
     13  | joint_st_sequential instr lbl ⇒ joint_st_sequential lin_params globals instr lbl
     14  | joint_st_goto l ⇒ joint_st_goto lin_params globals l
     15  | joint_st_extension ext ⇒ joint_st_extension lin_params globals ext
    1616  ].
    1717   
Note: See TracChangeset for help on using the changeset viewer.