/tcm_benchmarks/ALT3 - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/tcm_benchmarks/ALT3 @ 4174a469

Name	Size	Revision	Age	Author	Comment
ALT3_proof		2bdbbe54	about 10 years	Guillaume Davy	Add tests from fmcad with k annotation to new_b...
problem_with_init2.smt2	61 KB	d3a3e7e9	about 10 years	Pierre-Loïc Garoche	SMT2 file generated by frama-c/why3/z3-edit - i...

#	Date	Author	Comment
d3a3e7e9	12/18/2014 10:07 PM	Pierre-Loïc Garoche	SMT2 file generated by frama-c/why3/z3-edit - it is the second base case of kinduction of ALT3. And it is not provable.
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
81125539	11/07/2014 04:59 PM	Guillaume Davy	Add lustrec files for ALT1 and ALT2

Also available in: Atom