History | View | Annotate | Download (9.6 KB)
inlining update
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.
inliner function