/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ bff13707

Name	Size	Revision	Age	Author	Comment
C		bff13707	over 10 years	Guillaume Davy	ALT_2 working with modification made by hand

#	Date	Author	Comment
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
dc6c92b2	10/22/2014 08:58 AM	Guillaume Davy	correct bug in proof printing
e3945827	10/13/2014 09:20 AM	Guillaume Davy	Push current status of proof backend
dae9db56	07/08/2014 02:20 AM	Pierre-Loïc Garoche	Version quasi fonctionnelle de la generation de spec. Encore des problemes de typage

Also available in: Atom