Project

General

Profile

Activity

From 03/15/2019 to 04/13/2019

03/22/2019

01:46 AM Revision e45f370e (lustrec-tests): add case where emf order is not good
hbourbou
01:40 AM Revision 160ddb22 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
hbourbou
01:39 AM Revision b58cc410 (lustrec-tests): add examples with clock
hbourbou
12:45 AM Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
Pierre-Loïc Garoche

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/lustrec-tests
Pierre-Loïc Garoche
09:29 PM Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
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/lustrec-tests
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
12:32 AM Revision 99a9d521 (lustrec-tests): remove corrupted lustre files
hbourbou

03/20/2019

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
 

Also available in: Atom