Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ db1c5c00

Name Size Revision Age Author Comment
  doc fdeaac38 over 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include f044d0b0 over 6 years Pierre-Loïc Garoche Convertion operators
  src db1c5c00 over 6 years Pierre-Loïc Garoche Extracted scheduling from machine code computation
  test 839ca600 over 6 years Pierre-Loïc Garoche Update on the test script
AUTHORS 61 Bytes c00d0b42 over 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile 750 Bytes f6fa97f9 over 6 years Xavier Thirioux clean handling of undefined node application
README.lustrec 802 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
TODO.org 1.13 KB 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
_oasis 600 Bytes c00d0b42 over 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 699 Bytes f6fa97f9 over 6 years Xavier Thirioux clean handling of undefined node application
configure 363 Bytes f6fa97f9 over 6 years Xavier Thirioux clean handling of undefined node application
myocamlbuild.ml 16.2 KB f6fa97f9 over 6 years Xavier Thirioux clean handling of undefined node application
setup.ml 175 KB f6fa97f9 over 6 years Xavier Thirioux clean handling of undefined node application
svn_version.sh 558 Bytes c6acbdaa almost 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 0cbf0839 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
db1c5c00 06/24/2014 03:16 PM Pierre-Loïc Garoche

Extracted scheduling from machine code computation

1ad092fb 06/24/2014 01:54 PM Pierre-Loïc Garoche

Create a Step call only for functions that are not in basic lib

fa0db9d5 06/23/2014 09:56 AM Xavier Thirioux

- bug correction (regression from previous versions !) introduced
in C code generated from relational operators.

6b4d172f 06/20/2014 04:59 PM Xavier Thirioux

- refactorization of typing code (simpler subtyping rules)
- simplification of clock calculus (may be still buggy, work in progress)
no impact on unclocked programs.

839ca600 06/17/2014 11:56 PM Pierre-Loïc Garoche

Update on the test script

f6fa97f9 06/12/2014 05:53 PM Xavier Thirioux

clean handling of undefined node application

5b5625e1 06/12/2014 02:08 PM Pierre-Loïc Garoche

Updated typing error

9f8c4c1d 05/23/2014 02:51 PM Pierre-Loïc Garoche

inlining update

f044d0b0 05/23/2014 09:36 AM Pierre-Loïc Garoche

Convertion operators

14d694c7 05/22/2014 10:29 AM Xavier Thirioux

bug correction in homomorphic extension

View all revisions | View revisions

Also available in: Atom