Project

General

Profile

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