Project

General

Profile

Activity

From 10/30/2021 to 11/28/2021

11/17/2021

04:44 PM Revision cb5d9849 (lustrec): remove unused function
Lélio Brun
11:32 AM Revision 7e5d5672 (lustrec): remove behavior-based contracts for clear_reset
Lélio Brun

11/16/2021

05:13 PM Revision 56ae691e (lustrec): ignore FIREFLY* tests
Lélio Brun
11:11 AM Revision bfd0bd57 (lustrec): indicate already failed tests
Lélio Brun
10:55 AM Revision 92e04523 (lustrec): indicate already verified tests
Lélio Brun
10:52 AM Revision b5410db0 (lustrec): read failed section in tests
Lélio Brun

11/10/2021

09:34 AM Revision 561d6104 (lustrec): fix tests
Lélio Brun
09:34 AM Revision 34cdfc15 (lustrec): update docker with re library and tokei
Lélio Brun

11/09/2021

02:58 PM Revision f3143835 (lustrec): change shell test by a magnificent OCaml test
Lélio Brun
02:57 PM Revision f78400f5 (lustrec): fix optimizations
Lélio Brun

11/06/2021

01:50 PM Revision 33e90985 (lustrec): do not remove spec of removed assignments by optim
Lélio Brun
01:18 PM Revision cdd3eb15 (lustrec): unused vars have to be computed from both outputs AND state vars!
Lélio Brun

11/05/2021

04:29 PM Revision b6086e1a (lustrec): do not run all provers
Lélio Brun
12:38 PM Revision 7cc1f808 (lustrec): add timeout to tests
Lélio Brun
10:05 AM Revision 0eac70b4 (lustrec): remove test
Lélio Brun
10:04 AM Revision 2596633b (lustrec): replace ghost vars by universal vars in contracts
Lélio Brun

11/04/2021

03:19 PM Revision 5b15f142 (lustrec): fix tests
Lélio Brun
03:17 PM Revision 43822c59 (lustrec): ignore some tests
Lélio Brun

11/03/2021

12:47 PM Revision 1b91335d (lustrec): ignore DRAGON* tests
Lélio Brun
12:43 PM Revision 32e74d70 (lustrec): remove test
Lélio Brun
12:42 PM Revision 6ab6d6de (lustrec): move asserts eqs at the end to respect dependencies
Lélio Brun
12:22 PM Revision d4870b2f (lustrec): do not eliminate vars in transitions defs but eliminate constants
Lélio Brun
11:22 AM Revision 238a8491 (lustrec): add integer casts in ACSL
Lélio Brun
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
Lélio Brun

11/02/2021

07:03 PM Revision 20495fd2 (lustrec): add ignored tests possibility
Lélio Brun
06:06 PM Revision 2edea2e6 (lustrec): replace the Reset: label by a ghost variable
Lélio Brun
 

Also available in: Atom