Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 2d179f5b

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 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 05e19d16 over 4 years Eric Noulard Update FindLustre in order to handle a default ...
  src 2d179f5b about 4 years Xavier Thirioux numerous bugs corrected: - bug in expansion of ...
  test 843bc20f over 4 years Pierre-Loïc Garoche Merge of last trunk commits Added fbyn(expr, n,...
.gitignore 93 Bytes 53a9b564 over 4 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 1da8b334 over 4 years Pierre-Loïc Garoche Add teme git-svn-id: https://cavale.enseeiht....
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile.in 1.47 KB 82dad07e over 4 years Eric Noulard Ignore rm error in clean rules git-svn-id: htt...
README.lustrec 991 Bytes 7bfb18df over 4 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes 7df1a309 over 4 years Pierre-Loïc Garoche horn queries back git-svn-id: https://cavale.e...
TODO.org 1.13 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
configure.ac 3.21 KB a53a28cb about 4 years Eric Noulard Post 1.1 release. Back to dev version git-svn...
lustrec.odocl 623 Bytes 3d134f43 almost 5 years Pierre-Loïc Garoche Doc file git-svn-id: https://cavale.enseeiht....
setup.ml 153 KB d1baac41 almost 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
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

1d906976 05/13/2015 01:10 PM Eric Noulard

Merge r458 fix into trunk

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

View all revisions | View revisions

Also available in: Atom