Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  C 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

690cde69 11/13/2014 10:59 AM Pierre-Loïc Garoche

Added an option for let vs exists axiomatization

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

ALT2 proved by framaC without human interaction

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

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

Update on c backend proof

0ba542d7 10/29/2014 11:55 PM Guillaume Davy

Bugfixes and coq proof generation for lemma inv_inv

faa5c6db 10/23/2014 01:00 PM Pierre-Loïc Garoche

solved the bug of multiple definition of assert exists ...

bd09b789 10/23/2014 12:59 PM Guillaume Davy

add coq support

d1c06a39 10/23/2014 10:47 AM Pierre-Loïc Garoche

Expliciting asserts in C code

View revisions

Also available in: Atom