Activity
From 11/21/2021 to 12/20/2021
12/16/2021
- 07:13 PM Revision bd62f385 (lustrec): no cache used in tests
- 07:06 PM Revision 97db88ce (lustrec): print timeout tests at the end of each round
12/09/2021
- 04:32 PM Revision 102e0aa8 (lustrec): update docker
- 02:21 PM Revision 22f43282 (lustrec): Merge branch 'cocospec-to-acsl' of gitlab.isae-supaero.fr:l.brun/lustrec into cocospec-to-acsl
- 02:20 PM Revision 62c20824 (lustrec): add k annotations for k-induction in contracts
- 10:16 AM Revision 9735491b (lustrec): only requires seal package for lustrev
11/29/2021
Also available in: Atom