/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 1eda3e78

Name	Revision	Age	Author	Comment
C	1eda3e78	almost 8 years	Xavier Thirioux	- work in progress for automata...
Horn	b38ffff3	about 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...
Java	b38ffff3	about 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
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
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

Also available in: Atom