/src/utils.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / utils.ml @ 29f59e36

History | View | Annotate | Download (8.76 KB)

#	Date	Author	Comment
01f1a1f4	07/10/2014 12:49 PM	Xavier Thirioux	- added missing constraint check when sub-clocking tuple expressions - added an algorithm that reuses dead or clock-disjoint variables instead of declaring/using new ones. - NOT carefully tested. Use option -O 3 if you want to give it a try...
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
1837ce98	07/03/2014 10:40 PM	Xavier Thirioux	added some infrastructure to ease optimization (reusing vars)
d96d54ac	06/27/2014 04:29 PM	Xavier Thirioux	added construction of a fanin table for local variables of a node. could be useful for a finer variable elimination scheme at the Lustre level. to be continued...
14d694c7	05/22/2014 10:29 AM	Xavier Thirioux	bug correction in homomorphic extension
7a1ec3fa	05/19/2014 01:45 PM	Pierre-Loïc Garoche	Additional checks in transpose
c02d255e	02/28/2014 10:33 AM	Pierre-Loïc Garoche	Solved some bugs in the lustre printer Generation of a witness with both the main node and hte inlined main node Test script modified to check consistency of the inlining process
f22632aa	10/22/2013 10:39 AM	Pierre-Loïc Garoche	Merge (if it works) of the lustre interfaces branche providing lusi files into trunk
0cbf0839	10/02/2013 08:13 AM	Pierre-Loïc Garoche	Moved files to trunk in lustre_compiler