/src/backends/Horn - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ 3ca6d126

Name	Size	Revision	Age	Author	Comment
horn_backend.ml	25.2 KB	3ca6d126	almost 5 years	Pierre-Loïc Garoche	Reactivated the generation of traceability info...

#	Date	Author	Comment
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