Activity
From 02/20/2019 to 03/21/2019
03/21/2019
- 09:41 PM Revision ffe46d5f (lustrec-tests): Top level contracts are comments
- 09:38 PM Revision 3debaf88 (lustrec-tests): Removed mode labels
- 09:29 PM Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 09:29 PM Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
- 09:28 PM Revision f0e4e301 (lustrec-tests): Moved files content in a single file
- 08:25 PM Revision 6ccfcb12 (lustrec-tests): add regulators cocospec example
- 05:16 PM Revision b8c35852 (lustrec-tests): Merge branch 'guarantees'
- 05:15 PM Revision 61a7e719 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 05:15 PM Revision 85dbaa74 (lustrec-tests): Merge branch 'master' into guarantees
- 05:12 PM Revision bd3f748f (lustrec-tests): guarantee(s)
- 12:32 AM Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
03/20/2019
03/19/2019
- 03:21 AM Revision 36b093bd (lustrec-tests): cleanup src_many_files, regenerate input/output references
03/16/2019
03/14/2019
02/24/2019
Also available in: Atom