CristalCaveGem » LustreC

02/13/2018

05:42 PM Revision 9c654082 (lustrec): [lustresf] work in progress. Added global env with initial values

Pierre-Loïc Garoche

05:17 PM Revision f4050bef (lustrec): Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.

Pierre-Loïc Garoche

05:16 PM Revision 94c457b7 (lustrec): Updated Salsa plugin to latest version of Salsa.

Some issues wrt machine type features.
Work in progress Pierre-Loïc Garoche

02/01/2018

02:42 PM Revision 3c3414c5 (lustrec): Solved issue with typing of enumerated types

Pierre-Loïc Garoche

01:46 PM Revision 51a2c05a (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

Xavier Thirioux

01/31/2018

10:01 AM Lustrec-Tests Revision d895591e (lustrec-tests): More functions

Pierre-Loïc Garoche

09:58 AM Lustrec-Tests Revision a603f261 (lustrec-tests): More tests

Pierre-Loïc Garoche

07:27 AM Revision 66359a5e (lustrec): [general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)

typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied ... Pierre-Loïc Garoche

07:23 AM Revision b7c3790e (lustrec): [lustret] improved enumeration of mutants

Pierre-Loïc Garoche

07:21 AM Revision cda2fcc8 (lustrec): [lustret] When generating MC/DC conditions, produce them as EMF XML output

Pierre-Loïc Garoche

07:17 AM Revision a1230f68 (lustrec): Solved issues with configure and ocaml libs dependencies

Pierre-Loïc Garoche

06:13 AM Lustrec-Tests Revision 8af9a0b9 (lustrec-tests): New machine types related test cases

Pierre-Loïc Garoche

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