/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Horn @ c7c6ef4c

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	24.2 KB	c7c6ef4c	over 9 years	Teme Kahsai	Fixed conflict with the svn trunk version git-...

#	Date	Author	Comment
c7c6ef4c	03/16/2015 08:30 PM	Teme Kahsai	Fixed conflict with the svn trunk version git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@417 041b043f-8d7c-46b2-b46e-ef0dd855326e
3ca6d126	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 git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@414 041b043f-8d7c-46b2-b46e-ef0dd855326e
7d9df109	03/03/2015 09:10 PM	Teme Kahsai	added invariants git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@412 041b043f-8d7c-46b2-b46e-ef0dd855326e
8d4fddd8	03/03/2015 09:10 PM	Teme Kahsai	including invariants git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@411 041b043f-8d7c-46b2-b46e-ef0dd855326e
5cf953ec	03/03/2015 09:10 PM	Teme Kahsai	Fixed horn backend to make query for properties. More work needed for cex git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@410 041b043f-8d7c-46b2-b46e-ef0dd855326e
a2d97a3e	07/09/2014 09:57 AM	Pierre-Loïc Garoche	Updated the licence info and header for each file. Moved backends in separate folders git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 041b043f-8d7c-46b2-b46e-ef0dd855326e

Also available in: Atom