Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 88486aaf

Name Size Revision Age Author Comment
  doc 7bd3416a over 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 3dacdcc2 almost 7 years Pierre-Loïc Garoche Convertion operators git-svn-id: https://cava...
  src 88486aaf almost 7 years Pierre-Loïc Garoche Extracted scheduling from machine code computat...
  test f01a1af8 almost 7 years Pierre-Loïc Garoche Update on the test script git-svn-id: https:/...
AUTHORS 61 Bytes 54ae8ac7 almost 7 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile 750 Bytes 719f9992 almost 7 years Xavier Thirioux clean handling of undefined node application g...
README.lustrec 802 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
TODO.org 1.13 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
_oasis 600 Bytes 54ae8ac7 almost 7 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 699 Bytes 719f9992 almost 7 years Xavier Thirioux clean handling of undefined node application g...
configure 363 Bytes 719f9992 almost 7 years Xavier Thirioux clean handling of undefined node application g...
myocamlbuild.ml 16.2 KB 719f9992 almost 7 years Xavier Thirioux clean handling of undefined node application g...
setup.ml 175 KB 719f9992 almost 7 years Xavier Thirioux clean handling of undefined node application g...
svn_version.sh 558 Bytes 04e26a3f about 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

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

Extracted scheduling from machine code computation

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@270 041b043f-8d7c-46b2-b46e-ef0dd855326e

6d89b953 06/24/2014 01:54 PM Pierre-Loïc Garoche

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@269 041b043f-8d7c-46b2-b46e-ef0dd855326e

25b4311f 06/23/2014 09:56 AM Xavier Thirioux

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@268 041b043f-8d7c-46b2-b46e-ef0dd855326e

6afa892a 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.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@267 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Update on the test script

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@265 041b043f-8d7c-46b2-b46e-ef0dd855326e

719f9992 06/12/2014 05:53 PM Xavier Thirioux

clean handling of undefined node application

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@261 041b043f-8d7c-46b2-b46e-ef0dd855326e

870420a0 06/12/2014 02:08 PM Pierre-Loïc Garoche

Updated typing error

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@260 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

inlining update

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@259 041b043f-8d7c-46b2-b46e-ef0dd855326e

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

Convertion operators

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@258 041b043f-8d7c-46b2-b46e-ef0dd855326e

b616fe7a 05/22/2014 10:29 AM Xavier Thirioux

bug correction in homomorphic extension

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@257 041b043f-8d7c-46b2-b46e-ef0dd855326e

View all revisions | View revisions

Also available in: Atom