General

Profile

Pierre-Loïc Garoche

Issues

Projects

Activity

11/23/2018

12:16 AM LustreC Revision 5de4dde4 (lustrec): Major refreshing of machine generation
03:32 AM LustreC Revision 59020713 (lustrec): Some progress on EMF bqckend. Refactoring machines code

11/21/2018

12:16 AM LustreC Revision e8250987 (lustrec): Unevaluation of types and clocks dimension has been already performe...
11:53 PM LustreC Revision 95944ba1 (lustrec): Cleaning up stuff in normalization. Mainly replace arguments with on...
node_Table hashtbl is now only available through functions of the corelang.mli
09:19 PM LustreC Revision 684d39e7 (lustrec): Moved lusic to .h printer after normalizing in case we want one day ...
Trying also to extend the parser to deal with imported nodes....
08:15 PM LustreC Revision 217837e2 (lustrec): Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated f...
05:58 AM LustreC Revision 19a1e66b (lustrec): Added include directive that directly inject a lustre source file in...
03:23 AM LustreC Revision 5fccce23 (lustrec): - Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were...

11/20/2018

11:21 PM LustreC Revision f9f06e7d (lustrec): - Module.load_header and load_program were merged.
- Contract were extended with list of statements.
11:20 PM LustreC Revision a4158a4b (lustrec): Added back the gitbranch option ins configure.ac. Was wrongly remove...

Also available in: Atom