History | View | Annotate | Download (10.8 KB)
- 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...
Updated the licence info and header for each file.Moved backends in separate folders
Moved files to trunk in lustre_compiler