Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ e9c64a30

Name Size Revision Age Author Comment
horn_backend.ml 25.2 KB e9c64a30 about 6 years Pierre-Loïc Garoche Reactivated the generation of traceability info...

Latest revisions

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

f133f964 03/03/2015 09:10 PM Teme Kahsai

added invariants

ea94d58f 03/03/2015 09:10 PM Teme Kahsai

including invariants

3c862628 03/03/2015 09:10 PM Teme Kahsai

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

b38ffff3 07/09/2014 09:57 AM Pierre-Loïc Garoche

Updated the licence info and header for each file.
Moved backends in separate folders

View revisions

Also available in: Atom