- added generation of clock information in interface (.lusi) files- added clock checking between interface and implementation files
Added default ensures statements
- added dummy_lib.lusi (accidentally removed !?)
- merged test script - added -d support - corrected #open parser problem - corrected interface/implementation (.lusi/.lus) checking for types (not yet for clocks)
lego robot example
missing dummy lib for arrays
- small bug correction in dimension typing - #open keyword instead of open - dummy generic matrix/vector library interface added - modified examples according to the new syntax
Moved files to trunk in lustre_compiler