Revision d5767b5a
Added by Xavier Thirioux almost 8 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 89 | 89 |
|
| 90 | 90 |
(* Extracting dependencies *) |
| 91 | 91 |
let dependencies, type_env, clock_env = import_dependencies prog in |
| 92 |
|
|
| 92 |
|
|
| 93 |
(* Removing automata *) |
|
| 94 |
(*let prog = Automata.expand_decls prog in*) |
|
| 95 |
|
|
| 96 |
(*Printers.pp_prog Format.std_formatter prog;*) |
|
| 93 | 97 |
(* Sorting nodes *) |
| 94 | 98 |
let prog = SortProg.sort prog in |
| 95 | 99 |
|
Also available in: Unified diff
- code complete for automata
- debugging in progress, not usable yet
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@334 041b043f-8d7c-46b2-b46e-ef0dd855326e