Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .gitignore @ 53206908

History | View | Annotate | Download (93 Bytes)

# Date Author Comment
545772c4 03/16/2015 08:30 PM Teme Kahsai

Changed configuration and update the horn_backend.ml

817d5bcb 07/09/2014 12:35 AM Teme Kahsai

Fixed horn backend to make query for properties. More work needed for cex