Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 54ae8ac7

Name Size Revision Age Author Comment
  doc 7bd3416a over 6 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 2e6f9ba8 about 6 years Xavier Thirioux improved code generation by factorizing out arr...
  src 54ae8ac7 almost 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
  test 8ea13d96 about 6 years Xavier Thirioux added liveness analysis for reusing dead variab...
AUTHORS 61 Bytes 54ae8ac7 almost 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile 702 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
README.lustrec 802 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
TODO.org 1.13 KB 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
_oasis 600 Bytes 54ae8ac7 almost 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 701 Bytes 04e26a3f about 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
configure 364 Bytes 04e26a3f about 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
myocamlbuild.ml 13.7 KB 04e26a3f about 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
setup.ml 154 KB 54ae8ac7 almost 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
svn_version.sh 558 Bytes 04e26a3f about 6 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 22fe1c93 over 6 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
54ae8ac7 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.

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

b1a97ade 04/01/2014 06:03 PM Xavier Thirioux

still computing disjoint clock information (for reusing more variables)

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

8f89eba8 03/31/2014 04:29 PM Xavier Thirioux

computing statically disjoint variables (to enhance resusability)

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

b35da910 03/24/2014 02:37 PM Xavier Thirioux

removed debug message

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

96f5fe18 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

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

bd771bbe 03/24/2014 09:22 AM Xavier Thirioux

- some minor adjustments...

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

d4807c3d 03/24/2014 09:05 AM Xavier Thirioux

- corrected causality bug (cf. previous commit)

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

7afcba5a 03/20/2014 03:41 PM Xavier Thirioux

liveness analysis improved. BUG found in causality wrt clocks...

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

a5784e75 03/19/2014 11:00 PM Xavier Thirioux

- modified example (arguments are now in the right order wrt clock declaration).
- debugged liveness analysis...

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

695d6f2f 03/19/2014 06:08 PM Xavier Thirioux

- reimplemented computation of dead variables
- added computation of a reuse policy (depending on types)
- not yet used though, would have to change code generation
in order to be useful...

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

View all revisions | View revisions

Also available in: Atom