Project

General

Profile

Activity

From 10/10/2018 to 11/08/2018

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 in...
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 i...
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 Machin...
Pierre-Loïc Garoche

11/02/2018

12:03 AM Revision a703ed0c (lustrec): Preprocess the selected node in seaL BACKEND: focus on memories and ...
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 c...
Pierre-Loïc Garoche

10/18/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/lustre...
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
 

Also available in: Atom