Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 6cf31814

Name Size Revision Age Author Comment
  doc fdeaac38 about 6 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 14ebde97 over 5 years Xavier Thirioux improved code generation by factorizing out arrows
  src 6cf31814 over 5 years Xavier Thirioux added liveness analysis for reusing dead variab...
  test 6cf31814 over 5 years Xavier Thirioux added liveness analysis for reusing dead variab...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
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
_oasis 654 Bytes c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
_tags 701 Bytes c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svn_version.sh 558 Bytes c6acbdaa over 5 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
6cf31814 03/18/2014 06:05 PM Xavier Thirioux

added liveness analysis for reusing dead variables. Not yet used.

14ebde97 03/17/2014 01:01 PM Xavier Thirioux

improved code generation by factorizing out arrows

8a5f633d 03/17/2014 12:46 PM Pierre-Loïc Garoche

Version compatible avec le francais

1699b8ff 03/17/2014 09:06 AM Pierre-Loïc Garoche

Updated test script: changed path and verbose mode

67ba882b 03/17/2014 07:44 AM Pierre-Loïc Garoche

Moved tests outside of source code to avoid useless duplication.

cbe93c65 03/17/2014 07:40 AM Pierre-Loïc Garoche

Added Alice Tailliar example

5538b7ac 03/17/2014 12:17 AM Xavier Thirioux

Added declaration/definition of stateless/stateful nodes.
The 'function' keyword is for stateless nodes only,
the 'node' keyword is any kind of node.
Improves compilation and paves the way for more optimizations.

d3e4c22f 03/14/2014 05:45 PM Xavier Thirioux

- work in progress for stateless/stateful status computation
(to turn conditionals into merges, which yield more efficient C code)

2ea1e4a6 03/13/2014 05:30 PM Xavier Thirioux

corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...

6affc9f5 03/11/2014 03:41 PM Xavier Thirioux

- added struct types declaration
- added constant definition with a struct type
- added checking for multiple definitions of nodes (behavior was buggy)
- better and more uniform error messages
for undefined/already defined symbols

We still need struct expressions...

View all revisions | View revisions

Also available in: Atom