Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc b38ffff3 about 10 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 10 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 76b2936d almost 10 years Eric Noulard Properly handle generated files
  src 5fe9fe22 over 9 years Teme Kahsai changed name from -horn-queries to -horn-query
  test 4f4a77a4 over 9 years Xavier Thirioux some tiny mistakes corrected...
.gitignore 93 Bytes 545772c4 over 9 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 over 9 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 1.44 KB 8958262e over 9 years Pierre-Loïc Garoche Cleaning lusic when installing
README.lustrec 991 Bytes 3a958c40 over 9 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 over 9 years Pierre-Loïc Garoche horn queries back
TODO.org 1.13 KB 0cbf0839 about 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure.ac 3.21 KB 00b2c9f8 over 9 years Pierre-Loïc Garoche Post Xia dev
lustrec.odocl 623 Bytes 24d59df8 almost 10 years Pierre-Loïc Garoche Doc file
setup.ml 153 KB 95763423 almost 10 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 about 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
5fe9fe22 05/05/2015 01:29 AM Teme Kahsai

changed name from -horn-queries to -horn-query

9c4624e4 05/05/2015 01:17 AM Teme Kahsai

do not use lusi for horn, and some logging for horn

b3b0dd56 05/04/2015 08:13 AM Xavier Thirioux

corrected a small bug when -horn option was active

e24b2e9b 04/13/2015 10:08 AM Xavier Thirioux

some optimization in code optimization !!

5f31b494 04/09/2015 10:57 PM Xavier Thirioux

corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)

3a958c40 04/08/2015 11:04 PM Xavier Thirioux

updated version of README.lustrec about how to install lustrec and how to compile.

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

some tiny mistakes corrected...

b3543e39 04/08/2015 10:43 PM Xavier Thirioux

some cosmetic changes in error messages when loading libraries

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...

8958262e 04/08/2015 04:01 PM Pierre-Loïc Garoche

Cleaning lusic when installing

View all revisions | View revisions

Also available in: Atom