/tcm_benchmarks/ALT2/ALT2_proof - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/tcm_benchmarks/ALT2/ALT2_proof @ 4174a469

Name	Size	Revision	Age	Author	Comment
ALT_2.lustrec.c	65.7 KB	4174a469	over 8 years	Guillaume Davy	Correct some problem related to new bool encoding
ALT_2.lustrec.coq	3.36 KB	4174a469	over 8 years	Guillaume Davy	Correct some problem related to new bool encoding
ALT_2.lustrec.h	32.6 KB	4174a469	over 8 years	Guillaume Davy	Correct some problem related to new bool encoding
makefile	1.82 KB	4174a469	over 8 years	Guillaume Davy	Correct some problem related to new bool encoding

#	Date	Author	Comment
4174a469	12/19/2014 10:50 PM	Guillaume Davy	Correct some problem related to new bool encoding
2bdbbe54	12/18/2014 02:40 PM	Guillaume Davy	Add tests from fmcad with k annotation to new_backend branch
93d16170	11/15/2014 01:30 PM	Guillaume Davy	Correct a bug in ensures stack generation related to existential
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

Also available in: Atom