Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4437ddbc

Name Size Revision Age Author Comment
  doc fdeaac38 almost 8 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 14ebde97 over 7 years Xavier Thirioux improved code generation by factorizing out arrows
  src 45c0d258 over 7 years Pierre-Loïc Garoche Solved bug: - loading lusi - loading lib in lus...
  test 4437ddbc over 7 years Pierre-Loïc Garoche Updated list with new tests
AUTHORS 61 Bytes c00d0b42 over 7 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 almost 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 702 Bytes 0cbf0839 almost 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
README.lustrec 802 Bytes 0cbf0839 almost 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 almost 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 600 Bytes c00d0b42 over 7 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 701 Bytes c6acbdaa over 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes c6acbdaa over 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB c6acbdaa over 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB c00d0b42 over 7 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
svn_version.sh 558 Bytes c6acbdaa over 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 almost 8 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
4437ddbc 05/19/2014 01:57 PM Pierre-Loïc Garoche

Updated list with new tests

45c0d258 05/19/2014 01:46 PM Pierre-Loïc Garoche

Solved bug:
- loading lusi
- loading lib in lusi files: "in m" is now "lib m"

7a1ec3fa 05/19/2014 01:45 PM Pierre-Loïc Garoche

Additional checks in transpose

316af809 05/19/2014 01:45 PM Pierre-Loïc Garoche

Check node is stateful

d9d34564 05/19/2014 01:44 PM Pierre-Loïc Garoche

Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))

c00d0b42 05/16/2014 05:26 PM Pierre-Loïc Garoche

Changed the load of lusi files: imported nodes or function can specify the linking lib and/or use a classical C prototype (without pointers).
Parse updated as well as Makefile generation.

97498b53 04/01/2014 06:03 PM Xavier Thirioux

still computing disjoint clock information (for reusing more variables)

7a737ed5 03/31/2014 04:29 PM Xavier Thirioux

computing statically disjoint variables (to enhance resusability)

66e38617 03/24/2014 02:37 PM Xavier Thirioux

removed debug message

0b78e972 03/24/2014 02:36 PM Xavier Thirioux

changed name generation to avoid conflict with C predefined symbols; added checking for declared but not defined node symbol

View all revisions | View revisions

Also available in: Atom