Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 1e48ef45

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 17db36ed almost 5 years Eric Noulard Small update git-svn-id: https://cavale.ensee...
  src 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  test 54d032f5 about 5 years Xavier Thirioux - Added major feature: Lustre V6 automata !!! ...
.gitignore 77 Bytes be3dd43f over 5 years Teme Kahsai Fixed horn backend to make query for properties...
AUTHORS 133 Bytes a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
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.25 KB 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
README.lustrec 802 Bytes 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
TODO.org 1.13 KB 22fe1c93 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
_oasis 672 Bytes 871b34d7 almost 5 years Pierre-Loïc Garoche Added compilation and install of include/*.lusi...
_tags 322 Bytes 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
configure 111 KB 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
configure.ac 3.19 KB 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
myocamlbuild.ml.in 295 Bytes 1e48ef45 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
setup.ml 153 KB d1baac41 almost 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svn_version.sh 679 Bytes 32e6c218 over 5 years Teme Kahsai added git version of svn_version git-svn-id: h...
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
1e48ef45 12/01/2014 11:32 PM Pierre-Loïc Garoche

- Dealt with compiling lusic from distant lusi files.
- Header now do not allow the generation of function previously declared as C prototype

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

17db36ed 12/01/2014 03:13 PM Eric Noulard

Small update

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

615b63f1 12/01/2014 02:53 PM Eric Noulard

Add first version of FindLustre.cmake

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

871b34d7 12/01/2014 01:56 PM Pierre-Loïc Garoche

Added compilation and install of include/*.lusi

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

cb430a2b 12/01/2014 12:58 PM Eric Noulard

Add more functions in math.lusi

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

d1baac41 11/27/2014 03:30 PM Xavier Thirioux

corrected a bug that made an error silent, confusing users...

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

080a6d0b 09/29/2014 05:33 PM Xavier Thirioux

- corrected a bug in C code generation for multi-dimension arrays

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

d0b1ec56 09/26/2014 05:52 PM Xavier Thirioux

- changed the basic optimization scheme (option -O 2), which unfolds
local variables and global variables that are either cheap to evaluate
or used no more than once.

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

df39e35a 09/24/2014 12:13 PM Xavier Thirioux

- corrected a bug in optimizating mode (option -O 3)
- changed the printing of unused variables

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

b4d9710b 09/18/2014 05:25 PM Xavier Thirioux

- corrected bug in node reset clock
- cleaner (but heavier !) code generation scheme for automata

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

View all revisions | View revisions

Also available in: Atom