source: src/LTL/LTLToLIN.ma @ 2463

Last change on this file since 2463 was 2286, checked in by tranquil, 8 years ago

Big update!

  • merge of all _paolo variants
  • reorganised some depends (in particular, Register and thus back-end laguages no longer have fake ASM dependency)
  • split I8051.ma spawning new BackEndOps?.ma

compiler.ma broken at the moment, but not by these changes as far as I can tell

File size: 231 bytes
Line 
1include "joint/linearise.ma".
2include "LTL/LTL.ma".
3include "LIN/LIN.ma".
4
5definition ltl_to_lin : ltl_program → lin_program ≝
6 λp. transform_program … p (λvarnames. transf_fundef … (linearise_int_fun LTL_LIN varnames)).
Note: See TracBrowser for help on using the repository browser.