Changeset 2490 for src/LTL


Ignore:
Timestamp:
Nov 25, 2012, 1:33:09 PM (7 years ago)
Author:
tranquil
Message:

switched back to Byte immediate (instead of beval ones)
propagated pending changes to all passes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTLToLIN.ma

    r2286 r2490  
    44
    55definition ltl_to_lin : ltl_program → lin_program ≝
    6  λp. transform_program … p (λvarnames. transf_fundef … (linearise_int_fun LTL_LIN varnames)).
     6  linearise ….
Note: See TracChangeset for help on using the changeset viewer.