Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
ALT_2.lustrec.c 25.2 KB 97602f7c over 9 years Guillaume Davy Correct bug when there is no precondition and c...
ALT_2.lustrec.coq 3.49 KB 97602f7c over 9 years Guillaume Davy Correct bug when there is no precondition and c...
ALT_2.lustrec.h 32.6 KB 97602f7c over 9 years Guillaume Davy Correct bug when there is no precondition and c...
makefile 1.82 KB 97602f7c over 9 years Guillaume Davy Correct bug when there is no precondition and c...

Latest revisions

# Date Author Comment
97602f7c 11/13/2014 11:48 AM Guillaume Davy

Correct bug when there is no precondition and change reprensentation
of boolean in ACSL

81125539 11/07/2014 04:59 PM Guillaume Davy

Add lustrec files for ALT1 and ALT2

052da31c 11/06/2014 09:31 PM Guillaume Davy

add makefile

65de0e13 11/06/2014 02:54 PM Guillaume Davy

ALT2 proved by framaC without human interaction

8107d368 11/05/2014 05:16 PM Guillaume Davy

add coq proof

bff13707 11/05/2014 05:15 PM Guillaume Davy

ALT_2 working with modification made by hand

a93ebdab 11/05/2014 10:46 AM Guillaume Davy

Correct bug option exists

7b01bcd2 11/05/2014 09:48 AM Guillaume Davy

ALT2_inlined

23c510d0 11/05/2014 09:29 AM Guillaume Davy

Update on c backend proof

dc6c92b2 10/22/2014 08:58 AM Guillaume Davy

correct bug in proof printing

View revisions

Also available in: Atom