Activity
From 02/21/2019 to 03/22/2019
03/22/2019
- 01:46 AM Revision e45f370e (lustrec-tests): add case where emf order is not good
- 01:40 AM Revision 160ddb22 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 01:39 AM Revision b58cc410 (lustrec-tests): add examples with clock
- 12:45 AM Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
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