Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 2bd3b8cd

Name Size Revision Age Author Comment
  doc a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 1e48ef45 about 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 3fd9f1f2 about 5 years Eric Noulard Properly handle generated files git-svn-id: h...
  src 2bd3b8cd almost 5 years Pierre-Loïc Garoche Prepare for tagging : Xia version 1.0 git-svn-...
  test 2bd3b8cd almost 5 years Pierre-Loïc Garoche Prepare for tagging : Xia version 1.0 git-svn-...
.gitignore 93 Bytes 53a9b564 almost 5 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 133 Bytes a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.38 KB 0b352b14 almost 5 years Xavier Thirioux corrected various bugs in the compilation/insta...
README.lustrec 802 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
README.md 151 Bytes 8b34da11 almost 5 years Teme Kahsai README.md edited online with Bitbucket git-svn...
TODO.org 1.13 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.2 KB 2bd3b8cd almost 5 years Pierre-Loïc Garoche Prepare for tagging : Xia version 1.0 git-svn-...
lustrec.odocl 623 Bytes 3d134f43 about 5 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB d1baac41 over 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
2bd3b8cd 04/08/2015 08:50 AM Pierre-Loïc Garoche

Prepare for tagging : Xia version 1.0

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

0b352b14 04/04/2015 03:59 PM Xavier Thirioux

corrected various bugs in the compilation/installation Makefile.in.

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

fc886259 04/03/2015 06:22 PM Xavier Thirioux

LOTS of bug correction wrt inlining, still a work in progress...
- global constants were not accounted for
- no good avoidance of name capture when inlining
- static parameters (array sizes and clocks) not handled
- ill-typed generated expressions, when inlining array expressions...

77a61575 04/01/2015 06:41 PM Xavier Thirioux

added some test files

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

6efbcb73 04/01/2015 04:10 PM Xavier Thirioux

correction of bugs:
- a small problem in the parser
- regarding the handling of destination directory, source directory, current directory, etc.
It seems to be working now. A nice chasing after weird behaviors...

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

c89faaa4 03/24/2015 09:54 PM Teme Kahsai

synch with svn

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

3a87efb8 03/24/2015 09:54 PM Teme Kahsai

fixing double printing of horn rules

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

d41b874a 03/24/2015 09:54 PM Teme Kahsai

Fixed conflict with the svn trunk version

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

566dbf49 03/24/2015 07:26 PM Pierre-Loïc Garoche

Added local inlining using the keyword (*! /inlining/:true *)

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

228ebb2c 03/17/2015 08:30 AM Pierre-Loïc Garoche

Print the types

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

View all revisions | View revisions

Also available in: Atom