/src/expand.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / expand.ml @ ba2f9fa1

History | View | Annotate | Download (10.8 KB)

#	Date	Author	Comment
6a1a01d2	09/14/2014 08:08 PM	Xavier Thirioux	- 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...
b38ffff3	07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders
0cbf0839	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler