Added local inlining using the keyword (*! /inlining/:true *)
Updated the licence info and header for each file.Moved backends in separate folders
Prepared first stage of code reorg:1. moved type def in lustrespec.ml2. moved constructor and basic functions in corelang3. Modified eexpr with prenext quantifiers
- 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