CristalCaveGem » LustreC

11/08/2018

03:58 PM Revision 82906771 (lustrec): Merge branch 'unstable' into lustrec-seal

Pierre-Loïc Garoche

03:46 PM Revision 1c9625b4 (lustrec): Merge branch 'cocospec_to_be_merged' into unstable

Mainly adapting to new cocospec syntax for contracts Pierre-Loïc Garoche

03:29 PM Revision 73ccaf2f (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec

Pierre-Loïc Garoche

09:53 AM Revision ec8fc65e (lustrec): configure.ac tuning

Pierre-Loïc Garoche

09:12 AM Revision a742719e (lustrec): SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed

Pierre-Loïc Garoche

09:11 AM Revision 7c8a7647 (lustrec): log new option to mention plugin or module

Pierre-Loïc Garoche

11/04/2018

07:00 AM Revision eb9a8c3c (lustrec): Moved find_eq from Machine_code to Corelang and sort_eqs from Machine_code to Scheduling

Pierre-Loïc Garoche

11/03/2018

12:03 AM Revision a703ed0c (lustrec): Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.

Pierre-Loïc Garoche

10/24/2018

01:33 PM Revision 95fb046e (lustrec): Scheduling of node equations is now attached to machine type

Pierre-Loïc Garoche

01:31 PM Revision 365d1b07 (lustrec): Moved definition of graph modules from Causality to Utils to avoid cyclic deps

Pierre-Loïc Garoche

10/19/2018

12:32 AM Revision 99cb0623 (lustrec): Merge branch 'unstable' into lustrec-seal

Pierre-Loïc Garoche

10/10/2018

04:06 PM Lustrec-Tests Revision 02daae65 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests

Arnaud Dieumegard

04:05 PM Lustrec-Tests Revision 17566465 (lustrec-tests): Update of makefile

Arnaud Dieumegard

04:05 PM Lustrec-Tests Revision 3fd18385 (lustrec-tests): Update of test cases with new version of Linty VHDL parser

Arnaud Dieumegard

04:04 PM Lustrec-Tests Revision 06358836 (lustrec-tests): Added makefile to launch tests

Arnaud Dieumegard