Guillaume Davy's activity
From 10/21/2014 to 11/19/2014
11/15/2014
- 01:30 PM LustreC Revision 93d16170 (lustrec): Correct a bug in ensures stack generation related to existential
11/13/2014
- 11:48 AM LustreC Revision 97602f7c (lustrec): Correct bug when there is no precondition and change reprensentation
- of boolean in ACSL
11/07/2014
- 04:59 PM LustreC Revision 81125539 (lustrec): Add lustrec files for ALT1 and ALT2
11/06/2014
- 09:31 PM LustreC Revision 052da31c (lustrec): add makefile
- 02:54 PM LustreC Revision 65de0e13 (lustrec): ALT2 proved by framaC without human interaction
11/05/2014
- 05:16 PM LustreC Revision 8107d368 (lustrec): add coq proof
- 05:15 PM LustreC Revision bff13707 (lustrec): ALT_2 working with modification made by hand
- 10:46 AM LustreC Revision a93ebdab (lustrec): Correct bug option exists
- 09:48 AM LustreC Revision 7b01bcd2 (lustrec): ALT2_inlined
- 09:29 AM LustreC Revision 23c510d0 (lustrec): Update on c backend proof
10/29/2014
10/23/2014
- 12:59 PM LustreC Revision bd09b789 (lustrec): add coq support
10/22/2014
- 08:58 AM LustreC Revision dc6c92b2 (lustrec): correct bug in proof printing
Also available in: Atom