source: src/LTL/LTLToLIN.ma @ 2407

Last change on this file since 2407 was 2286, checked in by tranquil, 9 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
RevLine 
[2286]1include "joint/linearise.ma".
[714]2include "LTL/LTL.ma".
3include "LIN/LIN.ma".
4
[1236]5definition ltl_to_lin : ltl_program → lin_program ≝
[2286]6 λp. transform_program … p (λvarnames. transf_fundef … (linearise_int_fun LTL_LIN varnames)).
Note: See TracBrowser for help on using the repository browser.