Project

General

Profile

Activity

From 10/06/2018 to 11/04/2018

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

10/08/2018

05:14 PM Lustrec-Tests Revision 0b109a10 (lustrec-tests): Scheduling issue
Pierre-Loïc Garoche
05:03 PM Revision ba371202 (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
04:53 PM Revision a6b15b13 (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
04:52 PM Revision 2d27eedd (lustrec): - Global type env and clock env now availble as a global reference (...
- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost...
Pierre-Loïc Garoche
04:49 PM Lustrec-Tests Revision 2d37a1e1 (lustrec-tests): Renaminig lustre contracts from ensures to guarantees
Will require the latest cocospec branch to compile (before it is integrated in the unstable/master branches) Pierre-Loïc Garoche
11:01 AM Revision d4b28a09 (lustrec): cocospec: fixing merge conflicts on parser
Christophe Garion
09:25 AM Revision 873647ba (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
 

Also available in: Atom