Project

General

Profile

Activity

From 02/20/2019 to 03/21/2019

03/21/2019

09:41 PM Revision ffe46d5f (lustrec-tests): Top level contracts are comments
Pierre-Loïc Garoche
09:38 PM Revision 3debaf88 (lustrec-tests): Removed mode labels
Pierre-Loïc Garoche
09:29 PM Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
09:29 PM Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet...
Pierre-Loïc Garoche
09:28 PM Revision f0e4e301 (lustrec-tests): Moved files content in a single file
Pierre-Loïc Garoche
08:25 PM Revision 6ccfcb12 (lustrec-tests): add regulators cocospec example
hbourbou
05:16 PM Revision b8c35852 (lustrec-tests): Merge branch 'guarantees'
Pierre-Loïc Garoche
05:15 PM Revision 61a7e719 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
05:15 PM Revision 85dbaa74 (lustrec-tests): Merge branch 'master' into guarantees
Pierre-Loïc Garoche
05:12 PM Revision bd3f748f (lustrec-tests): guarantee(s)
Pierre-Loïc Garoche

03/20/2019

12:32 AM Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
hbourbou
02:48 AM Revision 17b2e00a (lustrec-tests): add ADA strategy and call it in Simulink folder
hbourbou

03/19/2019

03:21 AM Revision 36b093bd (lustrec-tests): cleanup src_many_files, regenerate input/output references
hbourbou

03/16/2019

04:00 PM Revision cd1faebc (lustrec-tests): No temporary file on repo!
Pierre-Loïc Garoche

03/14/2019

08:27 PM Revision f470cec6 (lustrec-tests): add more cocospec examples
hbourbou

02/24/2019

11:24 PM Revision 1e3ae41f (lustrec-tests): add another contract example
Bourbouh
11:21 PM Revision dd2eeba6 (lustrec-tests): add another contract example
Bourbouh
 

Also available in: Atom