source: src/LTL/ @ 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 spawning new BackEndOps?.ma broken at the moment, but not by these changes as far as I can tell

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