Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ e9350b02

Name Size Revision Age Author Comment
  C e9350b02 over 4 years Xavier Thirioux corrected various bugs in the compilation/insta...
  Horn 933ee7a3 over 4 years Teme Kahsai synch with svn
  Java b38ffff3 over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
e9350b02 04/04/2015 03:59 PM Xavier Thirioux

corrected various bugs in the compilation/installation Makefile.in.

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

24a55d0d 03/16/2015 08:30 PM Teme Kahsai

fixing double printing of horn rules

62f65f02 03/16/2015 08:30 PM Teme Kahsai

Fixed conflict with the svn trunk version

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

View revisions

Also available in: Atom