Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 2c083577

Name Size Revision Age Author Comment
  doc a2d97a3e over 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 1e48ef45 almost 6 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 3fd9f1f2 almost 6 years Eric Noulard Properly handle generated files git-svn-id: h...
  src 2c083577 over 5 years Teme Kahsai changed name from -horn-queries to -horn-query ...
  test 14c56a07 over 5 years Xavier Thirioux some tiny mistakes corrected... git-svn-id: h...
.gitignore 93 Bytes 53a9b564 over 5 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 1da8b334 over 5 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.44 KB 3cb2f745 over 5 years Pierre-Loïc Garoche Cleaning lusic when installing git-svn-id: htt...
README.lustrec 991 Bytes 7bfb18df over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes 7df1a309 over 5 years Pierre-Loïc Garoche horn queries back git-svn-id: https://cavale.e...
TODO.org 1.13 KB 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.21 KB 302eeebe over 5 years Pierre-Loïc Garoche Post Xia dev git-svn-id: https://cavale.enseei...
lustrec.odocl 623 Bytes 3d134f43 almost 6 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB d1baac41 almost 6 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
2c083577 05/05/2015 01:29 AM Teme Kahsai

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@452 041b043f-8d7c-46b2-b46e-ef0dd855326e

8deaa2dd 05/05/2015 01:17 AM Teme Kahsai

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@451 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

corrected a small bug when -horn option was active

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@450 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

some optimization in code optimization !!

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@449 041b043f-8d7c-46b2-b46e-ef0dd855326e

e39f5319 04/09/2015 10:57 PM Xavier Thirioux

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@448 041b043f-8d7c-46b2-b46e-ef0dd855326e

7bfb18df 04/08/2015 11:04 PM Xavier Thirioux

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@446 041b043f-8d7c-46b2-b46e-ef0dd855326e

14c56a07 04/08/2015 11:01 PM Xavier Thirioux

some tiny mistakes corrected...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@445 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

some cosmetic changes in error messages when loading libraries

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@444 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

3cb2f745 04/08/2015 04:01 PM Pierre-Loïc Garoche

Cleaning lusic when installing

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@442 041b043f-8d7c-46b2-b46e-ef0dd855326e

View all revisions | View revisions

Also available in: Atom