Project

General

Profile

Activity

From 02/02/2017 to 03/03/2017

03/03/2017

05:12 PM Revision 80f93e0a (lustrec): added deallocation for dynamic memory allocation scheme
Xavier Thirioux
03:32 PM Revision be206ad8 (lustrec): adding & in shell
David Doose
03:26 PM Revision 08fd9ec8 (lustrec): mauve generator with annotations
David Doose

03/02/2017

06:12 PM Revision d1b9423d (lustrec): mauve generator: first shot
David Doose

03/01/2017

10:47 AM Revision 52c5ba00 (lustrec): adding c++ backend
David Doose

02/27/2017

11:16 PM Revision 604c4e00 (lustrec): make sure that I have conv.smt2
Teme Kahsai

02/24/2017

06:14 PM Revision c97b8302 (lustrec): enabling math and conv library for horn backend
Teme Kahsai

02/15/2017

11:08 PM Revision 54fd3235 (lustrec): fixed matlab output
Teme Kahsai
10:43 PM Revision 9c126c6b (lustrec): removed uncessary include math def
Teme Kahsai

02/14/2017

07:19 PM Revision 5695b3d4 (lustrec): Merge branch 'master' into seahorn_backend
Teme Kahsai
12:11 PM Revision e49b6d55 (lustrec): nice bug correction wrt constants with a large number of digits. Wou...
Xavier Thirioux

02/13/2017

11:06 PM Revision 1d3f1a9d (lustrec): new line in horn
Teme Kahsai

02/09/2017

11:02 PM Revision d714d0c6 (lustrec): Adding new def of math
Teme Kahsai

02/03/2017

08:20 PM Revision 32a9cff3 (lustrec): merge pb
Pierre-Loïc Garoche
08:18 PM Revision 8097e62b (lustrec): Merge branch 'seahorn_backend' of https://cavale.enseeiht.fr/git/lus...
Pierre-Loïc Garoche
08:15 PM Revision f525c4ae (lustrec): Started to recover specification compilation from branch proof_acsl
Adapted the EMF backend to new reqs Pierre-Loïc Garoche
 

Also available in: Atom