Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ 5cf953ec

Name Size Revision Age Author Comment
horn_backend.ml 23.4 KB 5cf953ec almost 5 years Teme Kahsai Fixed horn backend to make query for properties...

Latest revisions

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

View revisions

Also available in: Atom