Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ cefc3744

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

Latest revisions

# Date Author Comment
cefc3744 06/25/2014 12:47 PM Pierre-Loïc Garoche

Specialized the prefix/postfix modifiers through functors arguments

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

cd670fe1 06/25/2014 11:13 AM Pierre-Loïc Garoche

Split all functions of C backends in separate files

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

b84a138e 06/25/2014 10:54 AM Pierre-Loïc Garoche

Added the lustre backend
Still some work on adapating the instruction scheduling

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

13eb21df 06/25/2014 10:15 AM Pierre-Loïc Garoche

Moved c_backend in separate folder

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

8df90dd3 06/25/2014 08:20 AM Pierre-Loïc Garoche

Solved bug in optimization of machine code: output variable def should not be eliminated

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

bd3ef34a 06/25/2014 07:45 AM Pierre-Loïc Garoche

Solved local var name bugs for stateless nodes as outlined by Teme

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

652ac62c 06/24/2014 09:53 PM Pierre-Loïc Garoche

Added branch to separate code gen/file creation/spec/proof

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

429ab729 06/24/2014 04:30 PM Pierre-Loïc Garoche

Mini bug solved: do not unfold array constants

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

cf78a589 06/24/2014 03:57 PM Pierre-Loïc Garoche

Missing files

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

c1adf235 06/24/2014 03:57 PM Pierre-Loïc Garoche

Restructured the main: call to optimization, scheduling performed out of machine_code, etc
Merge Xavier last commits
Unfinished lustre backend

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

View all revisions | View revisions

Also available in: Atom