/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ e9350b02

Name	Revision	Age	Author	Comment
C	e9350b02	almost 8 years	Xavier Thirioux	corrected various bugs in the compilation/insta...
Horn	933ee7a3	about 8 years	Teme Kahsai	synch with svn
Java	b38ffff3	over 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
e9350b02	04/04/2015 03:59 PM	Xavier Thirioux	corrected various bugs in the compilation/installation Makefile.in.
933ee7a3	03/24/2015 09:54 PM	Teme Kahsai	synch with svn
eec8ce11	03/24/2015 09:54 PM	Teme Kahsai	fixing double printing of horn rules
9d01f989	03/17/2015 08:30 AM	Pierre-Loïc Garoche	Print the types
720f159a	03/16/2015 08:31 PM	Teme Kahsai	mapping horn values to lustre values in xml format
96d33ff2	03/16/2015 08:31 PM	Teme Kahsai	sync horn backend
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

Also available in: Atom