Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 89a70069

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 3fd9f1f2 almost 5 years Eric Noulard Properly handle generated files git-svn-id: h...
  src 89a70069 almost 5 years Xavier Thirioux added a new option -print_reuse that prints clo...
  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 820 Bytes e8b6d5ca almost 5 years Pierre-Loïc Garoche Moved Makefile into src folder git-svn-id: ht...
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...
configure.ac 3.21 KB e8b6d5ca almost 5 years Pierre-Loïc Garoche Moved Makefile into src folder git-svn-id: ht...
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
89a70069 12/09/2014 02:03 PM Xavier Thirioux

added a new option -print_reuse that prints clock disjoint variables and reuse policy.
useful for debugging and carrying correctness proofs to the C code level.
non trivial result only when option -O 3 or above is activated.

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

e8b6d5ca 12/09/2014 01:41 PM Pierre-Loïc Garoche

Moved Makefile into src folder

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

58a463e7 12/08/2014 09:09 PM Pierre-Loïc Garoche

Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful

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

ff580eb7 12/08/2014 09:06 PM Pierre-Loïc Garoche

Almost nothing

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

3fd9f1f2 12/08/2014 02:36 PM Eric Noulard

Properly handle generated files

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

3d134f43 12/01/2014 11:37 PM Pierre-Loïc Garoche

Doc file

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

bd612a7b 12/01/2014 11:35 PM Pierre-Loïc Garoche

Removed oasis, now use the classical autoconf; ./configure; make

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

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

View all revisions | View revisions

Also available in: Atom