/tcm_benchmarks/ALT2 - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/tcm_benchmarks/ALT2 @ 97602f7c

Name	Revision	Age	Author	Comment
ALT2_base	e3608bbf	over 10 years	Pierre-Loïc Garoche	playing with ALT2
ALT2_proof	97602f7c	over 10 years	Guillaume Davy	Correct bug when there is no precondition and c...
ALT2_proof_inlined	7b01bcd2	over 10 years	Guillaume Davy	ALT2_inlined
ALT2_spec	e3608bbf	over 10 years	Pierre-Loïc Garoche	playing with ALT2

#	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
0ba542d7	10/29/2014 11:55 PM	Guillaume Davy	Bugfixes and coq proof generation for lemma inv_inv

Also available in: Atom