/src/backends/C - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
c_backend.ml	4.59 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_common.ml	12.1 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_header.ml	13.4 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_main.ml	4.94 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_makefile.ml	3.26 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_spec.ml	8.19 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...
c_backend_src.ml	16.7 KB	70e1006b	over 6 years	Xavier Thirioux	This is a major revision: - added interface f...

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

CristalCaveGem » LustreC