Commits · 2f07a23714b5f7a2160f7bd0630d049b5820777a · LustreC / Lustrec

Sep 28, 2016
- Tiny modif on cmake target · 2f07a237
  Pierre Loic Garoche authored 8 years ago
  
  2f07a237
Sep 07, 2016
- moving C files name declaration in backend. Preparation for additional cmake target · dc893173
  Pierre Loic Garoche authored 8 years ago
  
  dc893173
Sep 01, 2016
- Add forthcoming codename to the current dev version. · 03bb8f64
  Eric Noulard authored 8 years ago
  
  Fix config.status call to add --recheck as expected
  03bb8f64
- Back to post 1.2 dev now going on for possible 1.3 · 3e38100a
  Eric Noulard authored 8 years ago
  
  3e38100a
- Fix rule for rebuilding configure · d057583b
  Eric Noulard authored 8 years ago
  
  d057583b
- Release lustrec 1.2 Xia-Tai-Kang · a837b379
  Eric Noulard authored 8 years ago
  
  a837b379
- Better handling of automatic relaunch of autoconf and configure · 084a3cb5
  Eric Noulard authored 8 years ago
  
  084a3cb5
- Merge branch 'add_source_dist' · 82dbce5d
  Eric Noulard authored 8 years ago
  
  82dbce5d
- Add makefile rules in order to ease the building of a source tarball · 974f92ac
  Eric Noulard authored 8 years ago
  
  which contains the generated configure script (but no more generated file)
  974f92ac
- Add codename to version handling. This should ease making release. · 41e48ef3
  Eric Noulard authored 8 years ago
  
  Development codename is "dev"
  41e48ef3
Aug 26, 2016
- File removed. It is now generated by configure · 717ed061
  THIRIOUX Xavier authored 8 years ago
  
  717ed061
Aug 09, 2016
- ... · f3d244c1
  THIRIOUX Xavier authored 8 years ago
  
  f3d244c1
- ... · 45f0f48d
  THIRIOUX Xavier authored 8 years ago
  
  45f0f48d
- new branch for merging mpfr and horn · fea041c5
  THIRIOUX Xavier authored 8 years ago
  
  fea041c5
Aug 06, 2016
- ... · f1d1879a
  THIRIOUX Xavier authored 8 years ago
  
  f1d1879a
- ... · 50d39c99
  THIRIOUX Xavier authored 8 years ago
  
  50d39c99
- ... · 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