Activity
From 10/10/2018 to 11/08/2018
11/08/2018
- 03:58 PM Revision 82906771 (lustrec): Merge branch 'unstable' into lustrec-seal
- 03:46 PM Revision 1c9625b4 (lustrec): Merge branch 'cocospec_to_be_merged' into unstable
- Mainly adapting to new cocospec syntax for contracts
- 03:29 PM Revision 73ccaf2f (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
- 09:53 AM Revision ec8fc65e (lustrec): configure.ac tuning
- 09:12 AM Revision a742719e (lustrec): SEAL: compute the projection to switched systems. Some issues with i...
- 09:11 AM Revision 7c8a7647 (lustrec): log new option to mention plugin or module
11/04/2018
- 07:00 AM Revision eb9a8c3c (lustrec): Moved find_eq from Machine_code to Corelang and sort_eqs from Machin...
11/02/2018
- 12:03 AM Revision a703ed0c (lustrec): Preprocess the selected node in seaL BACKEND: focus on memories and ...
10/24/2018
- 01:33 PM Revision 95fb046e (lustrec): Scheduling of node equations is now attached to machine type
- 01:31 PM Revision 365d1b07 (lustrec): Moved definition of graph modules from Causality to Utils to avoid c...
10/18/2018
10/10/2018
- 04:06 PM Lustrec-Tests Revision 02daae65 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 04:05 PM Lustrec-Tests Revision 17566465 (lustrec-tests): Update of makefile
- 04:05 PM Lustrec-Tests Revision 3fd18385 (lustrec-tests): Update of test cases with new version of Linty VHDL parser
- 04:04 PM Lustrec-Tests Revision 06358836 (lustrec-tests): Added makefile to launch tests
Also available in: Atom