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
Check node is stateful
- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
Reenabled the generation of witnesses for inline process.Systematic use of the build path
Merge inlining branch within trunk.The test target requires branch lustrec/horn as binary lustreh.