Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 01d48bb0

Name Size Revision Age Author Comment
  C 01d48bb0 about 6 years Xavier Thirioux Major revision due to severe limitations and bu...
  Horn 933ee7a3 about 6 years Teme Kahsai synch with svn
  Java b38ffff3 almost 7 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
01d48bb0 04/08/2015 10:03 PM Xavier Thirioux

Major revision due to severe limitations and bugs of inlining capabilities:
- destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when loading lusic files created by an older compiler version
- inlining should now work with generic nodes and generic array library...
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

View revisions

Also available in: Atom