Project

General

Profile

Activity

From 10/14/2018 to 11/12/2018

11/12/2018

11:43 PM Revision 34d3f022 (lustrec): Further processing of contract in the typing. More to go
Pierre-Loïc Garoche
02:06 AM Revision 0d79d0f3 (lustrec): First working version of switched system extraction for seal tool
Pierre-Loïc Garoche

11/10/2018

02:07 PM Revision 1cc047f9 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche

11/09/2018

07:43 AM Revision a5dc55ca (lustrec): Restructuring code in SEAL
Pierre-Loïc Garoche

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
 

Also available in: Atom