Activity - LustreC

Activity

From 10/11/2016 to 11/09/2016

11/09/2016

09:14 AM Lustrec-Tests Revision 46fa5a52 (lustrec-tests): Cex of unschedulable node: Pierre-Loïc Garoche
07:11 AM Revision 6eb92970 (lustrec): explaining our automaton: Pierre-Loïc Garoche

10/21/2016

01:52 AM Revision eb837d74 (lustrec): slight improvement of causality error messages: Xavier Thirioux

10/12/2016

11:44 PM Revision 84902260 (lustrec): Arrays: jbraine

Also available in: Atom