Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 36454535

Name Size Revision Age Author Comment
  doc fdeaac38 over 11 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include f044d0b0 almost 11 years Pierre-Loïc Garoche Convertion operators
  src 36454535 over 10 years Pierre-Loïc Garoche Merged horn_traces branch
  test 36454535 over 10 years Pierre-Loïc Garoche Merged horn_traces branch
AUTHORS 61 Bytes c00d0b42 almost 11 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 9aaee7f9 over 10 years Xavier Thirioux added warnings for useless variables (at verbos...
README.lustrec 802 Bytes 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 600 Bytes c00d0b42 almost 11 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes f6fa97f9 almost 11 years Xavier Thirioux clean handling of undefined node application
configure 364 Bytes 9aaee7f9 over 10 years Xavier Thirioux added warnings for useless variables (at verbos...
myocamlbuild.ml 13.7 KB 9aaee7f9 over 10 years Xavier Thirioux added warnings for useless variables (at verbos...
setup.ml 154 KB 9aaee7f9 over 10 years Xavier Thirioux added warnings for useless variables (at verbos...
svn_version.sh 558 Bytes c6acbdaa about 11 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 over 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
36454535 07/03/2014 10:46 PM Pierre-Loïc Garoche

Merged horn_traces branch
1837ce98 07/03/2014 10:40 PM Xavier Thirioux

added some infrastructure to ease optimization (reusing vars)
920c31de 07/02/2014 05:32 PM Pierre-Loïc Garoche

Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)
0038002e 07/02/2014 05:29 PM Pierre-Loïc Garoche

Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers
7ecdb0aa 07/02/2014 04:14 PM Xavier Thirioux

more steps toward reusing variables (dead ones + clock disjoint ones)
d96d54ac 06/27/2014 04:29 PM Xavier Thirioux

added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...
9aaee7f9 06/26/2014 04:48 PM Xavier Thirioux

added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
54adb917 06/25/2014 05:38 PM Pierre-Loïc Garoche

Merged with new specification backend: only eacsl makefile for the now on
e95470b3 06/25/2014 05:37 PM Pierre-Loïc Garoche

Merged trunk updates
587cdc0d 06/25/2014 05:00 PM Pierre-Loïc Garoche

Solved Bug in horn backend: when main node is stateless

View all revisions | View revisions

Also available in: Atom