|
Last change
on this file since 2304 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
|
| Line | |
|---|
| 1 | include "joint/linearise.ma". |
|---|
| 2 | include "LTL/LTL.ma". |
|---|
| 3 | include "LIN/LIN.ma". |
|---|
| 4 | |
|---|
| 5 | definition 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.
