/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 97d3f81a

Name	Revision	Age	Author	Comment
C	830de634	about 10 years	Pierre-Loïc Garoche	Added a construct for Dependencies (was a tuple...
Horn	97d3f81a	almost 10 years	Teme Kahsai	sync horn backend
Java	b38ffff3	over 10 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
97d3f81a	03/16/2015 08:31 PM	Teme Kahsai	sync horn backend
24a55d0d	03/16/2015 08:30 PM	Teme Kahsai	fixing double printing of horn rules
62f65f02	03/16/2015 08:30 PM	Teme Kahsai	Fixed conflict with the svn trunk version
e9c64a30	03/05/2015 11:48 PM	Pierre-Loïc Garoche	Reactivated the generation of traceability information Changed the test-compile to use the horn-traces and the horn-queries option
f133f964	03/03/2015 09:10 PM	Teme Kahsai	added invariants
ea94d58f	03/03/2015 09:10 PM	Teme Kahsai	including invariants
3c862628	03/03/2015 09:10 PM	Teme Kahsai	Fixed horn backend to make query for properties. More work needed for cex
830de634	12/08/2014 09:09 PM	Pierre-Loïc Garoche	Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
5ae8db15	12/01/2014 11:32 PM	Pierre-Loïc Garoche	- Dealt with compiling lusic from distant lusi files. - Header now do not allow the generation of function previously declared as C prototype
bc916448	09/29/2014 05:33 PM	Xavier Thirioux	- corrected a bug in C code generation for multi-dimension arrays

Also available in: Atom