Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  doc fdeaac38 over 10 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include f044d0b0 about 10 years Pierre-Loïc Garoche Convertion operators
  src c1b14ce6 almost 10 years Xavier Thirioux work in progress: - warnings for unused input/...
  test 839ca600 almost 10 years Pierre-Loïc Garoche Update on the test script
AUTHORS 61 Bytes c00d0b42 about 10 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 750 Bytes f6fa97f9 about 10 years Xavier Thirioux clean handling of undefined node application
README.lustrec 802 Bytes 0cbf0839 over 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 600 Bytes c00d0b42 about 10 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes f6fa97f9 about 10 years Xavier Thirioux clean handling of undefined node application
configure 363 Bytes f6fa97f9 about 10 years Xavier Thirioux clean handling of undefined node application
myocamlbuild.ml 16.2 KB f6fa97f9 about 10 years Xavier Thirioux clean handling of undefined node application
setup.ml 175 KB f6fa97f9 about 10 years Xavier Thirioux clean handling of undefined node application
svn_version.sh 558 Bytes c6acbdaa over 10 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 over 10 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
c1b14ce6 06/25/2014 02:33 PM Xavier Thirioux

work in progress:
- warnings for unused input/memory variables
- optimization of machine code

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

d2be420e 06/25/2014 10:15 AM Pierre-Loïc Garoche

Moved c_backend in separate folder

a77bd1e3 06/25/2014 08:20 AM Pierre-Loïc Garoche

Solved bug in optimization of machine code: output variable def should not be eliminated

7130028e 06/25/2014 07:45 AM Pierre-Loïc Garoche

Solved local var name bugs for stateless nodes as outlined by Teme

6e73c87e 06/24/2014 09:53 PM Pierre-Loïc Garoche

Added branch to separate code gen/file creation/spec/proof

7a6b5deb 06/24/2014 04:30 PM Pierre-Loïc Garoche

Mini bug solved: do not unfold array constants

View all revisions | View revisions

Also available in: Atom