Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  C f6acf47b about 9 years Pierre-Loïc Garoche Plugin based framework
  Horn 53206908 about 9 years Xavier Thirioux major branche merging salsa/mpfr with trunk
  Java b38ffff3 over 10 years Pierre-Loïc Garoche Updated the licence info and header for each fi...

Latest revisions

# Date Author Comment
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

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

some tiny mistakes corrected...

View revisions

Also available in: Atom