/src/optimize_prog.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / optimize_prog.ml @ e42fb618

History | View | Annotate | Download (4.43 KB)

#	Date	Author	Comment
307aba8d	09/26/2014 05:52 PM	Xavier Thirioux	- changed the basic optimization scheme (option -O 2), which unfolds local variables and global variables that are either cheap to evaluate or used no more than once.
1eda3e78	09/09/2014 06:03 PM	Xavier Thirioux	- work in progress for automata...
70e1006b	09/02/2014 02:43 PM	Xavier Thirioux	This is a major revision: - added interface files (.lusi) in the language, that can be compiled on their own, giving an object file (.lusic) and a header file (.h) - modular code generation, from Lustre to C level included. - nice amount of code refactoring
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
0038002e	07/02/2014 05:29 PM	Pierre-Loïc Garoche	Prepared first stage of code reorg: 1. moved type def in lustrespec.ml 2. moved constructor and basic functions in corelang 3. Modified eexpr with prenext quantifiers
7ecdb0aa	07/02/2014 04:14 PM	Xavier Thirioux	more steps toward reusing variables (dead ones + clock disjoint ones)
7a6b5deb	06/24/2014 04:30 PM	Pierre-Loïc Garoche	Mini bug solved: do not unfold array constants
3ab9437b	06/24/2014 03:57 PM	Pierre-Loïc Garoche	Missing files