major branche merging salsa/mpfr with trunk
fixed a printing bug in 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
View revisions
Also available in: Atom