Activity - Lustrec-Tests

Activity

From 05/24/2018 to 06/22/2018

06/22/2018

10:29 PM Revision 81306cb7 (lustrec-tests): Tiny example for zustre debugging: Pierre-Loïc Garoche
10:28 PM Revision 1fd649ea (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests: Pierre-Loïc Garoche
08:33 PM Revision 2e549261 (lustrec-tests): add Kind2Results: Bourbouh
08:56 AM Revision 4b18af93 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests: Pierre-Loïc Garoche
08:54 AM Revision 4f47032a (lustrec-tests): Updates some expected outputs: Pierre-Loïc Garoche
08:51 AM Revision ddc8cb0f (lustrec-tests): add zustre results: Bourbouh

06/14/2018

01:21 AM Revision 184630f0 (lustrec-tests): add json regression tests: Bourbouh

06/09/2018

11:06 AM Revision 952e86fa (lustrec-tests): add helpful_functions to the modules folder: Bourbouh

05/30/2018

11:49 AM Revision fd5381b7 (lustrec-tests): stopwatch: Bourbouh

05/29/2018

09:56 AM Revision 75bb7d62 (lustrec-tests): Simple test to show cex with zustre: Pierre-Loïc Garoche

Also available in: Atom