Activity
From 10/30/2021 to 11/28/2021
11/17/2021
- 04:44 PM Revision cb5d9849 (lustrec): remove unused function
- 11:32 AM Revision 7e5d5672 (lustrec): remove behavior-based contracts for clear_reset
11/16/2021
- 05:13 PM Revision 56ae691e (lustrec): ignore FIREFLY* tests
- 11:11 AM Revision bfd0bd57 (lustrec): indicate already failed tests
- 10:55 AM Revision 92e04523 (lustrec): indicate already verified tests
- 10:52 AM Revision b5410db0 (lustrec): read failed section in tests
11/10/2021
- 09:34 AM Revision 561d6104 (lustrec): fix tests
- 09:34 AM Revision 34cdfc15 (lustrec): update docker with re library and tokei
11/09/2021
- 02:58 PM Revision f3143835 (lustrec): change shell test by a magnificent OCaml test
- 02:57 PM Revision f78400f5 (lustrec): fix optimizations
11/06/2021
- 01:50 PM Revision 33e90985 (lustrec): do not remove spec of removed assignments by optim
- 01:18 PM Revision cdd3eb15 (lustrec): unused vars have to be computed from both outputs AND state vars!
11/05/2021
- 04:29 PM Revision b6086e1a (lustrec): do not run all provers
- 12:38 PM Revision 7cc1f808 (lustrec): add timeout to tests
- 10:05 AM Revision 0eac70b4 (lustrec): remove test
- 10:04 AM Revision 2596633b (lustrec): replace ghost vars by universal vars in contracts
11/04/2021
- 03:19 PM Revision 5b15f142 (lustrec): fix tests
- 03:17 PM Revision 43822c59 (lustrec): ignore some tests
11/03/2021
- 12:47 PM Revision 1b91335d (lustrec): ignore DRAGON* tests
- 12:43 PM Revision 32e74d70 (lustrec): remove test
- 12:42 PM Revision 6ab6d6de (lustrec): move asserts eqs at the end to respect dependencies
- 12:22 PM Revision d4870b2f (lustrec): do not eliminate vars in transitions defs but eliminate constants
- 11:22 AM Revision 238a8491 (lustrec): add integer casts in ACSL
- 11:21 AM Revision f3ff1a98 (lustrec): since the df optim backward optim has been disabled, elimination is in a fixpoint now so elim chains are taken into account
11/02/2021
Also available in: Atom