Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 5500edb8

Name Size Revision Age Author Comment
  doc b38ffff3 over 6 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
  include 5ae8db15 almost 6 years Pierre-Loïc Garoche - Dealt with compiling lusic from distant lusi ...
  share 719f4b27 about 5 years Eric Noulard Update FindLustre in order to handle a default ...
  src 5500edb8 about 5 years Pierre-Loïc Garoche Two fresh branches :) to manage enum and arrays...
  test ed736b69 over 5 years Pierre-Loïc Garoche Merge of last trunk commits Added fbyn(expr, n,...
.gitignore 93 Bytes 545772c4 over 5 years Teme Kahsai Changed configuration and update the horn_backe...
AUTHORS 165 Bytes 330b42e3 over 5 years Pierre-Loïc Garoche Add teme
LICENSE-LGPL.txt 25.8 KB 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler
Makefile.in 1.47 KB b2a445af over 5 years Eric Noulard Ignore rm error in clean rules
README.lustrec 991 Bytes 3a958c40 over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 172 Bytes f8b3de19 over 5 years Pierre-Loïc Garoche horn queries back
TODO.org 1.35 KB 5500edb8 about 5 years Pierre-Loïc Garoche Two fresh branches :) to manage enum and arrays...
configure.ac 3.21 KB 9b04601c about 5 years Eric Noulard Post 1.1 release. Back to dev version
lustrec.odocl 623 Bytes 24d59df8 almost 6 years Pierre-Loïc Garoche Doc file
setup.ml 153 KB 95763423 almost 6 years Xavier Thirioux corrected a bug that made an error silent, conf...
svnignore 103 Bytes 0cbf0839 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler

Latest revisions

# Date Author Comment
5500edb8 10/08/2015 07:11 PM Pierre-Loïc Garoche

Two fresh branches :)
to manage enum and arrays in the horn backend.

9b04601c 08/18/2015 11:51 AM Eric Noulard

Post 1.1 release.
Back to dev version

3fb19815 08/13/2015 04:58 PM Eric Noulard

prepare lustrec 1.1

719f4b27 08/13/2015 03:52 PM Eric Noulard

Update FindLustre in order to handle a default VERBOSE option set to 0
and the proper c99 compiler option

94a9eddf 06/09/2015 03:00 PM Pierre-Loïc Garoche

Put back the test path

e0523910 06/09/2015 02:54 PM Pierre-Loïc Garoche

Ca marche mieux avec le fichier

b2a445af 06/09/2015 09:09 AM Eric Noulard

Ignore rm error in clean rules

ed736b69 06/05/2015 11:01 PM Pierre-Loïc Garoche

Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

1b31ffde 05/13/2015 01:10 PM Eric Noulard

Merge r458 fix into trunk

e275249d 05/05/2015 10:43 PM Xavier Thirioux

- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently

View all revisions | View revisions

Also available in: Atom