Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc a2d97a3e over 10 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 1e48ef45 about 10 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 05e19d16 over 9 years Eric Noulard Update FindLustre in order to handle a default ...
  src 55537f48 about 9 years Xavier Thirioux bug corrected: in some cases, local const vars ...
  test 843bc20f over 9 years Pierre-Loïc Garoche Merge of last trunk commits Added fbyn(expr, n,...
.gitignore 93 Bytes 53a9b564 almost 10 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 1da8b334 almost 10 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.47 KB 82dad07e over 9 years Eric Noulard Ignore rm error in clean rules git-svn-id: htt...
README.lustrec 991 Bytes 7bfb18df almost 10 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes 7df1a309 almost 10 years Pierre-Loïc Garoche horn queries back git-svn-id: https://cavale.e...
TODO.org 1.13 KB 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.21 KB a53a28cb over 9 years Eric Noulard Post 1.1 release. Back to dev version git-svn...
lustrec.odocl 623 Bytes 3d134f43 about 10 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB d1baac41 about 10 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
55537f48 11/07/2015 11:48 PM Xavier Thirioux

bug corrected: in some cases, local const vars were assigned twice

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

2d179f5b 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

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

2580acfd 11/06/2015 06:09 PM Teme Kahsai

fixed a printing bug in horn backend

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

a53a28cb 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

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

b2e2b4d8 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

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

05e19d16 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

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

76f6d187 06/09/2015 03:00 PM Pierre-Loïc Garoche

Put back the test path

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

b5896083 06/09/2015 02:54 PM Pierre-Loïc Garoche

Ca marche mieux avec le fichier

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

82dad07e 06/09/2015 09:09 AM Eric Noulard

Ignore rm error in clean rules

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

843bc20f 06/05/2015 11:01 PM Pierre-Loïc Garoche

Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

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

View all revisions | View revisions

Also available in: Atom