Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 86ae18b7

# Date Author Comment
86ae18b7 01/10/2017 01:53 PM Pierre-Loïc Garoche

Import of all Teme's modification from the github repo.

60f23302 01/10/2017 01:35 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

6fa45cb6 01/10/2017 01:35 PM Pierre-Loïc Garoche

Changed the generated C file to produce input and output csv files (named inXX and outXX)

d4fa080e 01/10/2017 01:33 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

fce0c270 01/10/2017 01:33 PM Pierre-Loïc Garoche

automata_spec

59ac5058 12/21/2016 05:06 PM Frederic Boniol

Post 1.3 dev

dd74ca16 12/21/2016 05:04 PM Frederic Boniol

Document release process

bf930280 12/21/2016 04:34 PM Frederic Boniol

Prepare 1.3 release

641493cf 12/20/2016 05:51 PM Eric NOULARD

Suppress some commented code

ecba3795 12/20/2016 04:18 PM Frederic Boniol

add lusi option

30f766ab 12/04/2016 03:35 PM Eric NOULARD

Suppress -nowarn argument to find command line.
This is not needed on Linux and it is not supported on Darwin (Mac OS)

9c734e5f 11/22/2016 07:38 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

6eb92970 11/09/2016 07:11 AM Pierre-Loïc Garoche

explaining our automaton

eb837d74 10/21/2016 01:52 AM Xavier Thirioux

slight improvement of causality error messages

bb1b5e04 09/28/2016 10:16 AM Pierre-Loïc Garoche

Ongoing work on c backend for makefile. Does not compile yet

2f07a237 09/28/2016 10:16 AM Pierre-Loïc Garoche

Tiny modif on cmake target

dc893173 09/07/2016 05:38 PM Pierre-Loïc Garoche

moving C files name declaration in backend. Preparation for additional cmake target

03bb8f64 09/01/2016 05:01 PM Eric NOULARD

Add forthcoming codename to the current dev version.
Fix config.status call to add --recheck as expected

3e38100a 09/01/2016 04:02 PM Eric NOULARD

Back to post 1.2 dev now going on for possible 1.3

d057583b 09/01/2016 04:01 PM Eric NOULARD

Fix rule for rebuilding configure

a837b379 09/01/2016 03:54 PM Eric NOULARD

Release lustrec 1.2 Xia-Tai-Kang

084a3cb5 09/01/2016 03:52 PM Eric NOULARD

Better handling of automatic relaunch of autoconf and configure

82dbce5d 09/01/2016 03:29 PM Eric NOULARD

Merge branch 'add_source_dist'

974f92ac 09/01/2016 11:30 AM Eric NOULARD

Add makefile rules in order to ease the building of a source tarball
which contains the generated configure script (but no more generated file)

41e48ef3 09/01/2016 11:18 AM Eric NOULARD

Add codename to version handling. This should ease making release.
Development codename is "dev"

717ed061 08/26/2016 03:24 PM Xavier Thirioux

File removed. It is now generated by configure

f3d244c1 08/09/2016 10:01 PM Xavier Thirioux

...

45f0f48d 08/09/2016 09:31 PM Xavier Thirioux

...

fea041c5 08/09/2016 09:25 PM Xavier Thirioux

new branch for merging mpfr and horn

f1d1879a 08/06/2016 10:47 AM Xavier Thirioux

...

50d39c99 08/06/2016 10:43 AM Xavier Thirioux

...

66e25f0f 08/06/2016 10:41 AM Xavier Thirioux

...

04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

28d2185f 04/12/2016 09:24 AM Xavier Thirioux

bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)

a406ac67 04/12/2016 12:49 AM Xavier Thirioux

removed a bug in automata code generation

9421e247 02/23/2016 10:15 PM Teme Kahsai

added README

60aab16d 02/02/2016 06:35 PM Xavier Thirioux

Bug solved in automaton part

aa3240b6 01/08/2016 03:02 PM Xavier Thirioux

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

5775ac97 01/08/2016 03:00 PM Xavier Thirioux

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

dc6f962c 12/18/2015 12:31 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

f2b37275 12/08/2015 04:15 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

cf13e2c2 12/07/2015 02:39 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

2cd42be0 11/26/2015 03:35 PM Pierre-Loïc Garoche

Cleaning old file

57115ec0 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

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

812c0369 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

d7b73fed 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

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

89137ae1 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

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

da07e470 11/07/2015 11:48 PM Xavier Thirioux

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

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

79614a15 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

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

6c4902ae 11/06/2015 06:09 PM Teme Kahsai

fixed a printing bug in horn backend

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

9b04601c 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

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

3fb19815 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

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

719f4b27 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

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

94a9eddf 06/09/2015 03:00 PM Pierre-Loïc Garoche

Put back the test path

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

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

Ca marche mieux avec le fichier

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

b2a445af 06/09/2015 09:09 AM Eric Noulard

Ignore rm error in clean rules

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

ed736b69 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

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

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

Merge r458 fix into trunk

690196d8 05/05/2015 10:43 PM Xavier Thirioux

- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently

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

e275249d 05/05/2015 10:43 PM Xavier Thirioux

- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently

cdf01754 05/05/2015 07:30 PM Teme Kahsai

small logging change

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

ad6b7375 05/05/2015 07:30 PM Teme Kahsai

small logging change

b98a4a58 05/05/2015 03:47 PM Pierre-Loïc Garoche

Bug fixed for horn traces option with stateful asserts

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

7a442071 05/05/2015 03:47 PM Pierre-Loïc Garoche

Bug fixed for horn traces option with stateful asserts

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

5fe9fe22 05/05/2015 01:29 AM Teme Kahsai

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

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

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

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

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

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

corrected a small bug when -horn option was active

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

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

some optimization in code optimization !!

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

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

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

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

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

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

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

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

some tiny mistakes corrected...

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

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

some cosmetic changes in error messages when loading libraries

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

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

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

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

Cleaning lusic when installing

7df1a309 04/08/2015 03:54 PM Pierre-Loïc Garoche

horn queries back

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

f8b3de19 04/08/2015 03:54 PM Pierre-Loïc Garoche

horn queries back

1da8b334 04/08/2015 09:08 AM Pierre-Loïc Garoche

Add teme

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

330b42e3 04/08/2015 09:08 AM Pierre-Loïc Garoche

Add teme

00b2c9f8 04/08/2015 08:53 AM Pierre-Loïc Garoche

Post Xia dev