Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 9aaee7f9

Name Size Revision Age Author Comment
  doc fdeaac38 almost 10 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include f044d0b0 over 9 years Pierre-Loïc Garoche Convertion operators
  src 9aaee7f9 over 9 years Xavier Thirioux added warnings for useless variables (at verbos...
  test 839ca600 over 9 years Pierre-Loïc Garoche Update on the test script
AUTHORS 61 Bytes c00d0b42 over 9 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 almost 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 9aaee7f9 over 9 years Xavier Thirioux added warnings for useless variables (at verbos...
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 600 Bytes c00d0b42 over 9 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes f6fa97f9 over 9 years Xavier Thirioux clean handling of undefined node application
configure 364 Bytes 9aaee7f9 over 9 years Xavier Thirioux added warnings for useless variables (at verbos...
myocamlbuild.ml 13.7 KB 9aaee7f9 over 9 years Xavier Thirioux added warnings for useless variables (at verbos...
setup.ml 154 KB 9aaee7f9 over 9 years Xavier Thirioux added warnings for useless variables (at verbos...
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
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
c1b14ce6 06/25/2014 02:33 PM Xavier Thirioux

work in progress:
- warnings for unused input/memory variables
- optimization of machine code
cee0feb8 06/25/2014 01:11 PM Pierre-Loïc Garoche

New branch to copy the specgeneration using the new backend functors
56484623 06/25/2014 01:06 PM Pierre-Loïc Garoche

Merged the new backend split into trunk
713176a4 06/25/2014 12:47 PM Pierre-Loïc Garoche

Specialized the prefix/postfix modifiers through functors arguments
522938b5 06/25/2014 11:13 AM Pierre-Loïc Garoche

Split all functions of C backends in separate files
49ddf66d 06/25/2014 10:54 AM Pierre-Loïc Garoche

Added the lustre backend
Still some work on adapating the instruction scheduling

View all revisions | View revisions

Also available in: Atom