Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 53206908

Name Size Revision Age Author Comment
  doc b38ffff3 over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 719f4b27 about 4 years Eric Noulard Update FindLustre in order to handle a default ...
  src 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
  test 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
.gitignore 93 Bytes 545772c4 over 4 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 over 4 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 972 Bytes 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
README.lustrec 991 Bytes 3a958c40 over 4 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 over 4 years Pierre-Loïc Garoche horn queries back
TODO.org 1.13 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure.ac 3.17 KB 53206908 almost 4 years Xavier Thirioux major branche merging salsa/mpfr with trunk
lustrec.odocl 623 Bytes 24d59df8 almost 5 years Pierre-Loïc Garoche Doc file
svnignore 103 Bytes 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

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

major branche merging salsa/mpfr with trunk

812c0369 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

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

9b04601c 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

3fb19815 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

719f4b27 08/13/2015 03:52 PM Eric Noulard

Update FindLustre in order to handle a default VERBOSE option set to 0
and the proper c99 compiler option

94a9eddf 06/09/2015 03:00 PM Pierre-Loïc Garoche

Put back the test path

View all revisions | View revisions

Also available in: Atom