Commits · 66e25f0f18f7826340e23bb7eb03db0e4a05f887 · LustreC / Lustrec

Aug 06, 2016
- ... · 66e25f0f
  THIRIOUX Xavier authored 8 years ago
  
  66e25f0f
- full merge of salsa/mpfr and master · 04a63d25
  THIRIOUX Xavier authored 8 years ago
  
  04a63d25
Apr 12, 2016

bug removed: with dummy automata, lustrec would generate parameterless nodes,... · 28d2185f

THIRIOUX Xavier authored 9 years ago

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

28d2185f

Apr 11, 2016
- removed a bug in automata code generation · a406ac67
  THIRIOUX Xavier authored 9 years ago
  
  a406ac67
Feb 23, 2016
- added README · 9421e247
  Temesghen Kahsai authored 9 years ago
  
  9421e247
Feb 02, 2016
- Bug solved in automaton part · 60aab16d
  THIRIOUX Xavier authored 9 years ago
  
  60aab16d
Jan 08, 2016
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · aa3240b6
  THIRIOUX Xavier authored 9 years ago
  
  aa3240b6
- bug correction in automata.ml (order of assigned variables was not always... · 5775ac97
  THIRIOUX Xavier authored 9 years ago
  
  bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)
  5775ac97
Dec 18, 2015
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · dc6f962c
  Pierre Loic Garoche authored 9 years ago
  
  dc6f962c
Dec 08, 2015
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · f2b37275
  Pierre Loic Garoche authored 9 years ago
  
  f2b37275
Dec 07, 2015
- Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec · cf13e2c2
  Pierre Loic Garoche authored 9 years ago
  
  cf13e2c2
Nov 26, 2015
- Cleaning old file · 2cd42be0
  Pierre Loic Garoche authored 9 years ago
  
  2cd42be0
Nov 21, 2015
- corrected pessimistic behavior of optimization phase -O 3 · 812c0369
  THIRIOUX Xavier authored 9 years ago
  
  812c0369
- corrected pessimistic behavior of optimization phase -O 3 · 57115ec0
  THIRIOUX Xavier authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@486 041b043f-8d7c-46b2-b46e-ef0dd855326e
  57115ec0
- bug correction in typing: tuple types were computed but not recorded · 89137ae1
  THIRIOUX Xavier authored 9 years ago
  
  89137ae1
- bug correction in typing: tuple types were computed but not recorded · d7b73fed
  THIRIOUX Xavier authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e
  d7b73fed
Nov 07, 2015

bug corrected: in some cases, local const vars were assigned twice · da07e470
THIRIOUX Xavier authored 9 years ago

da07e470
bug corrected: in some cases, local const vars were assigned twice · 55537f48
THIRIOUX Xavier authored 9 years ago
```
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e
```
55537f48

numerous bugs corrected: · 79614a15

THIRIOUX Xavier authored 9 years ago

- 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

79614a15

numerous bugs corrected: · 2d179f5b

THIRIOUX Xavier authored 9 years ago

- 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

2d179f5b

Nov 06, 2015
- fixed a printing bug in horn backend · 6c4902ae
  Temesghen Kahsai authored 9 years ago
  
  6c4902ae
- fixed a printing bug in horn backend · 2580acfd
  Temesghen Kahsai authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@481 041b043f-8d7c-46b2-b46e-ef0dd855326e
  2580acfd
Aug 18, 2015

Post 1.1 release. · 9b04601c
Eric Noulard authored 9 years ago
```
Back to dev version
```
9b04601c

Post 1.1 release. · a53a28cb

Eric Noulard authored 9 years ago

Back to dev version


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

a53a28cb

Aug 13, 2015
- prepare lustrec 1.1 · 3fb19815
  Eric Noulard authored 9 years ago
  
  3fb19815
- prepare lustrec 1.1 · b2e2b4d8
  Eric Noulard authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@471 041b043f-8d7c-46b2-b46e-ef0dd855326e
  b2e2b4d8
- Update FindLustre in order to handle a default VERBOSE option set to 0 · 719f4b27
  Eric Noulard authored 9 years ago
  
  and the proper c99 compiler option
  719f4b27
- Update FindLustre in order to handle a default VERBOSE option set to 0 · 05e19d16
  Eric Noulard authored 9 years ago
  
  and the proper c99 compiler option git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@470 041b043f-8d7c-46b2-b46e-ef0dd855326e
  05e19d16
Jun 09, 2015
- Put back the test path · 94a9eddf
  Pierre Loic Garoche authored 9 years ago
  
  94a9eddf
- Put back the test path · 76f6d187
  Pierre Loic Garoche authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@464 041b043f-8d7c-46b2-b46e-ef0dd855326e
  76f6d187
- Ca marche mieux avec le fichier · e0523910
  Pierre Loic Garoche authored 9 years ago
  
  e0523910
- Ca marche mieux avec le fichier · b5896083
  Pierre Loic Garoche authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@463 041b043f-8d7c-46b2-b46e-ef0dd855326e
  b5896083
- Ignore rm error in clean rules · b2a445af
  Eric Noulard authored 9 years ago
  
  b2a445af
- Ignore rm error in clean rules · 82dad07e
  Eric Noulard authored 9 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@462 041b043f-8d7c-46b2-b46e-ef0dd855326e
  82dad07e
Jun 05, 2015

Merge of last trunk commits · ed736b69

Pierre Loic Garoche authored 9 years ago

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

ed736b69

Merge of last trunk commits · 843bc20f

Pierre Loic Garoche authored 9 years ago

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

843bc20f

May 13, 2015
- Merge r458 fix into trunk · 1b31ffde
  Eric Noulard authored 10 years ago
  
  1b31ffde
- Merge r458 fix into trunk · 1d906976
  Eric Noulard authored 10 years ago
  
  git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@459 041b043f-8d7c-46b2-b46e-ef0dd855326e
  1d906976
May 05, 2015

- corrected a regression bug in main_lustre_compiler.ml (optional generation... · e275249d

THIRIOUX Xavier authored 10 years ago

 - 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

e275249d

- corrected a regression bug in main_lustre_compiler.ml (optional generation... · 690196d8

THIRIOUX Xavier authored 10 years ago

 - 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

690196d8