CristalCaveGem » LustreC

01/30/2018

03:01 PM Revision 185ddf4d (lustrec): Type issue Bytes vs string

Pierre-Loïc Garoche

01/18/2018

05:36 PM Revision 5d5139a5 (lustrec): [lustret] More effective mutants generation

Solved the misrenaming of imported nodes (eg int_to_real) Pierre-Loïc Garoche

05:34 PM Revision 70466917 (lustrec): [main] node locals are now sorted according to their dependencies wrt clocks. The produced lustre node with types shall now be compilable

Pierre-Loïc Garoche

05:33 PM Revision 94cf0fc5 (lustrec): [main] cleaned superfluous empty line in generated lustre output

Pierre-Loïc Garoche

05:31 PM Revision 13aec2da (lustrec): [main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.

Pierre-Loïc Garoche

01/17/2018

05:09 PM Revision 5487dd79 (lustrec): [mutations] solved issues with

- mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the pro... Pierre-Loïc Garoche

05:08 PM Revision 76bed200 (lustrec): Added cmake basic functions

Improved the Cmake Lustre_Compile function Pierre-Loïc Garoche

01/16/2018

08:09 PM Revision 1ca48e48 (lustrec): No existing input file returns a 1 error code

Pierre-Loïc Garoche