Project

General

Profile

Activity

From 09/11/2018 to 10/10/2018

10/10/2018

04:06 PM Revision 02daae65 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
04:05 PM Revision 17566465 (lustrec-tests): Update of makefile
Arnaud Dieumegard
04:05 PM Revision 3fd18385 (lustrec-tests): Update of test cases with new version of Linty VHDL parser
Arnaud Dieumegard
04:04 PM Revision 06358836 (lustrec-tests): Added makefile to launch tests
Arnaud Dieumegard

10/08/2018

05:14 PM Revision 0b109a10 (lustrec-tests): Scheduling issue
Pierre-Loïc Garoche
04:49 PM 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

10/05/2018

07:53 PM Revision 5dfe059d (lustrec-tests): Cocospec
Pierre-Loïc Garoche

09/28/2018

07:04 PM Revision c3af3032 (lustrec-tests): add more contracts examples
Bourbouh

09/26/2018

02:52 PM Revision bc44cd9e (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
02:51 PM Revision 222162a5 (lustrec-tests): Correct version of the two_counters exported json file
Arnaud Dieumegard

09/25/2018

01:08 PM Revision 6c964a9b (lustrec-tests): Cocospec files
Pierre-Loïc Garoche
01:07 PM Revision 489a769e (lustrec-tests): Added two_counters example
Arnaud Dieumegard

09/24/2018

02:22 PM Revision d6042e96 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
02:22 PM Revision 47142ed7 (lustrec-tests): Counters, programmable pulse, d-latch VHDL examples
Arnaud Dieumegard

09/14/2018

04:27 PM Revision dd62ff27 (lustrec-tests): Improving integration with CDash
Pierre-Loïc Garoche
 

Also available in: Atom