/src/backends/C/c_backend_spec.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / C / c_backend_spec.ml @ 5500edb8

History | View | Annotate | Download (8.19 KB)

#	Date	Author	Comment
830de634	12/08/2014 09:09 PM	Pierre-Loïc Garoche	Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
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
36454535	07/03/2014 10:46 PM	Pierre-Loïc Garoche	Merged horn_traces branch
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
e95470b3	06/25/2014 05:37 PM	Pierre-Loïc Garoche	Merged trunk updates
713176a4	06/25/2014 12:47 PM	Pierre-Loïc Garoche	Specialized the prefix/postfix modifiers through functors arguments
522938b5	06/25/2014 11:13 AM	Pierre-Loïc Garoche	Split all functions of C backends in separate files
d2be420e	06/25/2014 10:15 AM	Pierre-Loïc Garoche	Moved c_backend in separate folder