History | View | Annotate | Download (29 KB)
Two fresh branches :)to manage enum and arrays in the horn backend.
small logging change
do not use lusi for horn, and some logging for horn
synch with svn
fixing double printing of horn rules
Print the types
mapping horn values to lustre values in xml format
sync horn backend
Fixed conflict with the svn trunk version
Reactivated the generation of traceability informationChanged the test-compile to use the horn-traces and the horn-queries option
added invariants
including invariants
Fixed horn backend to make query for properties. More work needed for cex
Updated the licence info and header for each file.Moved backends in separate folders