/src/backends/Horn/horn_backend.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / Horn / horn_backend.ml @ 5500edb8

History | View | Annotate | Download (29 KB)

#	Date	Author	Comment
5500edb8	10/08/2015 07:11 PM	Pierre-Loïc Garoche	Two fresh branches :) to manage enum and arrays in the horn backend.
ad6b7375	05/05/2015 07:30 PM	Teme Kahsai	small logging change
9c4624e4	05/05/2015 01:17 AM	Teme Kahsai	do not use lusi for horn, and some logging for horn
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
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
b38ffff3	07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders