Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ e42fb618

Name Size Revision Age Author Comment
  doc b38ffff3 over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 5 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 76b2936d almost 5 years Eric Noulard Properly handle generated files
  src e42fb618 almost 5 years Pierre-Loïc Garoche Solved bug found by Teme about asserts. Previo...
  test 6a1a01d2 about 5 years Xavier Thirioux - Added major feature: Lustre V6 automata !!! ...
.gitignore 77 Bytes 817d5bcb over 5 years Teme Kahsai Fixed horn backend to make query for properties...
AUTHORS 133 Bytes b38ffff3 over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 820 Bytes bed8ea64 almost 5 years Pierre-Loïc Garoche Moved Makefile into src folder
README.lustrec 802 Bytes 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
configure.ac 3.21 KB bed8ea64 almost 5 years Pierre-Loïc Garoche Moved Makefile into src folder
lustrec.odocl 623 Bytes 24d59df8 almost 5 years Pierre-Loïc Garoche Doc file
setup.ml 153 KB 95763423 almost 5 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
e42fb618 02/16/2015 11:52 PM Pierre-Loïc Garoche

Solved bug found by Teme about asserts.

Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is normalized and may bind new node equations.
This could be later optimized but is working now.

13fa31c2 12/10/2014 11:15 AM Pierre-Loïc Garoche

Revert the commit 384 by Xavier: adding dirname to the source_name introduced a bug: the .h file is empty!!! Strange behavior.

5d8ddbf7 12/10/2014 11:14 AM Pierre-Loïc Garoche

Added an install target in the src folder

86b99b69 12/09/2014 04:54 PM Xavier Thirioux

modified optimization info printout (option -print_reuse)

fb8b1da7 12/09/2014 04:30 PM Xavier Thirioux

supports again relative path for lustre source file (regression bug)

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

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

Moved Makefile into src folder

830de634 12/08/2014 09:09 PM Pierre-Loïc Garoche

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

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

Almost nothing

76b2936d 12/08/2014 02:36 PM Eric Noulard

Properly handle generated files

View all revisions | View revisions

Also available in: Atom