Activity - LustreC

Activity

From 10/16/2018 to 11/14/2018

11/14/2018

06:40 PM Lustrec-Tests Revision b5c4cae5 (lustrec-tests): Moved to cocospec contract: Pierre-Loïc Garoche
06:39 PM Lustrec-Tests Revision 94da9360 (lustrec-tests): Restructured mpfr folder tests to rely on highlevel strategies: Pierre-Loïc Garoche
06:37 PM Lustrec-Tests Revision ff8f35e0 (lustrec-tests): Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files: Pierre-Loïc Garoche
06:35 PM Lustrec-Tests Revision 72e9ca2d (lustrec-tests): Renamed math in lustrec_math: Pierre-Loïc Garoche
06:13 PM Revision 307c32f5 (lustrec): MPFR bug solved: typing of function argument was not properly building tuples of types.: Pierre-Loïc Garoche

11/13/2018

04:16 PM Revision 6de6bcf4 (lustrec): Improved configure.ac: Pierre-Loïc Garoche
04:15 PM Lustrec-Tests Revision 5a55fdd1 (lustrec-tests): Improved ctest configuration: Pierre-Loïc Garoche
02:01 AM Revision 0d54d8a8 (lustrec): Removed Contract contruct: imported node should be enough. Solved some warning at compile time: Pierre-Loïc Garoche

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 into unstable: 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 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

Also available in: Atom