Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 587cdc0d

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