Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 84462531

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

Latest revisions

# Date Author Comment
84462531 12/15/2015 01:56 PM Pierre-Loïc Garoche

Added by default -O0

f6acf47b 11/26/2015 06:17 PM Pierre-Loïc Garoche

Plugin based framework

445e80ae 11/26/2015 05:30 PM Xavier Thirioux
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

View revisions

Also available in: Atom