Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ be3dd43f

Name Size Revision Age Author Comment
  doc 7bd3416a over 9 years Pierre-Loïc Garoche Lustre interfaces: lusi files are generated and...
  include 3dacdcc2 almost 9 years Pierre-Loïc Garoche Convertion operators git-svn-id: https://cava...
  src 43aa67ec over 8 years Teme Kahsai Fixed horn backend to make query for properties...
  test af5af1e8 over 8 years Pierre-Loïc Garoche Merged horn_traces branch git-svn-id: https:/...
.gitignore 77 Bytes be3dd43f over 8 years Teme Kahsai Fixed horn backend to make query for properties...
AUTHORS 61 Bytes 54ae8ac7 almost 9 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile 702 Bytes 3bfed7f9 almost 9 years Xavier Thirioux added warnings for useless variables (at verbos...
README.lustrec 802 Bytes 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
TODO.org 1.13 KB 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
_oasis 600 Bytes 54ae8ac7 almost 9 years Pierre-Loïc Garoche Changed the load of lusi files: imported nodes ...
_tags 740 Bytes 719f9992 almost 9 years Xavier Thirioux clean handling of undefined node application g...
configure 364 Bytes 3bfed7f9 almost 9 years Xavier Thirioux added warnings for useless variables (at verbos...
myocamlbuild.ml 13.7 KB 3bfed7f9 almost 9 years Xavier Thirioux added warnings for useless variables (at verbos...
setup.ml 154 KB 3bfed7f9 almost 9 years Xavier Thirioux added warnings for useless variables (at verbos...
svn_version.sh 679 Bytes 32e6c218 over 8 years Teme Kahsai added git version of svn_version git-svn-id: h...
svnignore 103 Bytes 22fe1c93 over 9 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
be3dd43f 07/09/2014 12:35 AM Teme Kahsai

Fixed horn backend to make query for properties. More work needed for cex

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@312 041b043f-8d7c-46b2-b46e-ef0dd855326e
43aa67ec 07/09/2014 12:35 AM Teme Kahsai

Fixed horn backend to make query for properties. More work needed for cex

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@311 041b043f-8d7c-46b2-b46e-ef0dd855326e
32e6c218 07/08/2014 06:17 PM Teme Kahsai

added git version of svn_version

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@310 041b043f-8d7c-46b2-b46e-ef0dd855326e
a38c681e 07/08/2014 04:53 PM Xavier Thirioux

- many bugs/limitations in lifting operators to tuples have been worked out:
- typing/clock calculus/normalization now work properly
- still, a bug in annot generation (this one is for Ploc !!)
in file normalization, line 396
- bug corrected in subtyping...
b6a94a4e 07/07/2014 10:35 AM Xavier Thirioux

work in progress in liveness analysis...

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@307 041b043f-8d7c-46b2-b46e-ef0dd855326e
44bea83a 07/04/2014 04:57 PM Xavier Thirioux

work in progress (code optimization again)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@306 041b043f-8d7c-46b2-b46e-ef0dd855326e
af5af1e8 07/03/2014 10:46 PM Pierre-Loïc Garoche

Merged horn_traces branch

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@303 041b043f-8d7c-46b2-b46e-ef0dd855326e
bb2ca5f4 07/03/2014 10:40 PM Xavier Thirioux

added some infrastructure to ease optimization (reusing vars)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@302 041b043f-8d7c-46b2-b46e-ef0dd855326e
99d3df04 07/02/2014 05:32 PM Pierre-Loïc Garoche

Merged branches specification_reorg_corelang_parser (see last commit message, moved definitions/functions btw files and changed eexpr type)

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@298 041b043f-8d7c-46b2-b46e-ef0dd855326e
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

View all revisions | View revisions

Also available in: Atom