- Added major feature: Lustre V6 automata !!! - one automata example added - changed the reset condition in node calls (now a simple bool expr) - bug corrected in clock calculus - bug corrected in traceability info - added field in variables to test whether they are original...
- corrected bug with destination directory (-d option) - corrected several bugs in inlining - STILL, BUGS REMAINING in inlined code !!??!!
Updated list with new tests
Updated test script: changed path and verbose mode
Merge inlining branch within trunk.The test target requires branch lustrec/horn as binary lustreh.
Moved files to trunk in lustre_compiler