Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 587cdc0d

Name Size Revision Age Author Comment
  doc fdeaac38 about 6 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include f044d0b0 over 5 years Pierre-Loïc Garoche Convertion operators
  src 587cdc0d over 5 years Pierre-Loïc Garoche Solved Bug in horn backend: when main node is s...
  test 839ca600 over 5 years Pierre-Loïc Garoche Update on the test script
AUTHORS 61 Bytes c00d0b42 over 5 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 750 Bytes f6fa97f9 over 5 years Xavier Thirioux clean handling of undefined node application
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 600 Bytes c00d0b42 over 5 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes f6fa97f9 over 5 years Xavier Thirioux clean handling of undefined node application
configure 363 Bytes f6fa97f9 over 5 years Xavier Thirioux clean handling of undefined node application
myocamlbuild.ml 16.2 KB f6fa97f9 over 5 years Xavier Thirioux clean handling of undefined node application
setup.ml 175 KB f6fa97f9 over 5 years Xavier Thirioux clean handling of undefined node application
svn_version.sh 558 Bytes c6acbdaa almost 6 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
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

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

View all revisions | View revisions

Also available in: Atom