Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .gitignore @ 54d032f5

History | View | Annotate | Download (77 Bytes)

# Date Author Comment
be3dd43f 07/09/2014 12:35 AM 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@312 041b043f-8d7c-46b2-b46e-ef0dd855326e