History | View | Annotate | Download (5.71 KB)
- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
- added struct types declaration - added constant definition with a struct type - added checking for multiple definitions of nodes (behavior was buggy) - better and more uniform error messages for undefined/already defined symbols
We still need struct expressions...
Solved some bugs in the lustre printerGeneration of a witness with both the main node and hte inlined main nodeTest script modified to check consistency of the inlining process
Moved files to trunk in lustre_compiler