Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 355b543d

Name Size Revision Age Author Comment
  C 30551ad8 almost 5 years Pierre-Loïc Garoche Changed function uppercase to fix an ocaml warning
  Horn ad6b7375 over 5 years Teme Kahsai small logging change
  Java b38ffff3 over 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  Riny 355b543d almost 5 years Pierre-Loïc Garoche Specific filtering of constant branching condit...

Latest revisions

# Date Author Comment
355b543d 12/16/2015 01:27 PM Pierre-Loïc Garoche

Specific filtering of constant branching conditions for riny backend.
Introduced a new partial evaluation function for machine code value

30551ad8 12/16/2015 01:27 PM Pierre-Loïc Garoche

Changed function uppercase to fix an ocaml warning

3d04f75e 10/23/2015 05:35 PM Pierre-Loïc Garoche

riny

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

4f4a77a4 04/08/2015 11:01 PM Xavier Thirioux

some tiny mistakes corrected...

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

View revisions

Also available in: Atom