Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Horn @ 53206908

Name Size Revision Age Author Comment
horn_backend.ml 25.4 KB 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk

Latest revisions

# Date Author Comment
53206908 11/26/2015 04:45 PM Xavier Thirioux

major branche merging salsa/mpfr with trunk

6c4902ae 11/06/2015 06:09 PM Teme Kahsai

fixed a printing bug in horn backend

ad6b7375 05/05/2015 07:30 PM Teme Kahsai

small logging change

9c4624e4 05/05/2015 01:17 AM Teme Kahsai

do not use lusi for horn, and some logging for horn

933ee7a3 03/24/2015 09:54 PM Teme Kahsai

synch with svn

eec8ce11 03/24/2015 09:54 PM Teme Kahsai

fixing double printing of horn rules

9d01f989 03/17/2015 08:30 AM Pierre-Loïc Garoche

Print the types

720f159a 03/16/2015 08:31 PM Teme Kahsai

mapping horn values to lustre values in xml format

96d33ff2 03/16/2015 08:31 PM Teme Kahsai

sync horn backend

97d3f81a 03/16/2015 08:31 PM Teme Kahsai

sync horn backend

View revisions

Also available in: Atom