Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 53206908

Name Size Revision Age Author Comment
  C 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
  Horn 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
  Java b38ffff3 about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

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

major branche merging salsa/mpfr with trunk

89137ae1 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

da07e470 11/07/2015 11:48 PM Xavier Thirioux

bug corrected: in some cases, local const vars were assigned twice

79614a15 11/07/2015 07:40 PM Xavier Thirioux

numerous bugs corrected:
- bug in expansion of array accesses with constant arrays
- bug in printing complex array indexes (not C compliant)
- bug wrt C99 typing policy for constant arrays
- bug in signaling wrong useless static input

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

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.

View revisions

Also available in: Atom