Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 01c7d5e1

Name Size Revision Age Author Comment
  doc 7bd3416a about 7 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 3dacdcc2 over 6 years Pierre-Loïc Garoche Convertion operators git-svn-id: https://cava...
  src 01c7d5e1 over 6 years Pierre-Loïc Garoche Prepared first stage of code reorg: 1. moved ty...
  test f01a1af8 over 6 years Pierre-Loïc Garoche Update on the test script git-svn-id: https:/...
AUTHORS 61 Bytes 54ae8ac7 over 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile 702 Bytes 3bfed7f9 over 6 years Xavier Thirioux added warnings for useless variables (at verbos...
README.lustrec 802 Bytes 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
TODO.org 1.13 KB 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
_oasis 600 Bytes 54ae8ac7 over 6 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes 719f9992 over 6 years Xavier Thirioux clean handling of undefined node application g...
configure 364 Bytes 3bfed7f9 over 6 years Xavier Thirioux added warnings for useless variables (at verbos...
myocamlbuild.ml 13.7 KB 3bfed7f9 over 6 years Xavier Thirioux added warnings for useless variables (at verbos...
setup.ml 154 KB 3bfed7f9 over 6 years Xavier Thirioux added warnings for useless variables (at verbos...
svn_version.sh 558 Bytes 04e26a3f almost 7 years Xavier Thirioux answer to #feature 50: - arrows are now factor...
svnignore 103 Bytes 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
01c7d5e1 07/02/2014 05:29 PM Pierre-Loïc Garoche

Prepared first stage of code reorg:
1. moved type def in lustrespec.ml
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_reorg_corelang_parser@297 041b043f-8d7c-46b2-b46e-ef0dd855326e
add75bcb 07/02/2014 04:14 PM Xavier Thirioux

more steps toward reusing variables (dead ones + clock disjoint ones)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@295 041b043f-8d7c-46b2-b46e-ef0dd855326e
8a183477 06/27/2014 04:29 PM Xavier Thirioux

added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@291 041b043f-8d7c-46b2-b46e-ef0dd855326e
3bfed7f9 06/26/2014 04:48 PM Xavier Thirioux

added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@290 041b043f-8d7c-46b2-b46e-ef0dd855326e
54e22304 06/25/2014 05:38 PM Pierre-Loïc Garoche

Merged with new specification backend: only eacsl makefile for the now on

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@289 041b043f-8d7c-46b2-b46e-ef0dd855326e
d4107cf2 06/25/2014 05:37 PM Pierre-Loïc Garoche

Merged trunk updates

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@288 041b043f-8d7c-46b2-b46e-ef0dd855326e
4162f7a0 06/25/2014 05:00 PM Pierre-Loïc Garoche

Solved Bug in horn backend: when main node is stateless

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@287 041b043f-8d7c-46b2-b46e-ef0dd855326e
0e1049dc 06/25/2014 02:33 PM Xavier Thirioux

work in progress:
- warnings for unused input/memory variables
- optimization of machine code

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@286 041b043f-8d7c-46b2-b46e-ef0dd855326e
2516ebdf 06/25/2014 01:11 PM Pierre-Loïc Garoche

New branch to copy the specgeneration using the new backend functors

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/specification_acsl_new_backend@283 041b043f-8d7c-46b2-b46e-ef0dd855326e
bc0e1cec 06/25/2014 01:06 PM Pierre-Loïc Garoche

Merged the new backend split into trunk

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

View all revisions | View revisions

Also available in: Atom