source: src/LTL/ @ 2488

Last change on this file since 2488 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 spawning new BackEndOps?.ma broken at the moment, but not by these changes as far as I can tell

File size: 231 bytes
1include "joint/".
2include "LTL/".
3include "LIN/".
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.