Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 14ebde97

Name Size Revision Age Author Comment
  doc fdeaac38 almost 10 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 14ebde97 over 9 years Xavier Thirioux improved code generation by factorizing out arrows
  src 14ebde97 over 9 years Xavier Thirioux improved code generation by factorizing out arrows
  test 14ebde97 over 9 years Xavier Thirioux improved code generation by factorizing out arrows
LICENSE-LGPL.txt 25.8 KB 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 654 Bytes c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
_tags 701 Bytes c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svn_version.sh 558 Bytes c6acbdaa over 9 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
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...
51768260 03/10/2014 05:56 PM Xavier Thirioux

work in progress for struct types...

View all revisions | View revisions

Also available in: Atom