Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 49d364b8

Name Size Revision Age Author Comment
  data-test 5c0d6e4e about 3 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f about 2 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include e5d77428 over 1 year Pierre-Loïc Garoche Solved issue btw mpfr and conv functions (int_t...
  share 5c3b45a0 about 2 years Pierre-Loïc Garoche Lustre test gen mutation: bug solved. The path ...
  src 49d364b8 over 1 year Pierre-Loïc Garoche comestic changes, removing useless logs
.gitignore 161 Bytes e7b4ba42 about 3 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d about 2 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 over 5 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 almost 4 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e about 2 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b over 1 year Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 about 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e almost 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c about 2 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df over 5 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 918 Bytes d0d8fe27 over 2 years Pierre Loic Garoche Updating dependencies in the READ:E
ReleaseProcess.txt 1.68 KB dd74ca16 almost 4 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 over 1 year Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 9.81 KB 7b424fe6 over 1 year Pierre-Loïc Garoche z3 as an optional pacage in configure
opam 1.36 KB 222db658 about 2 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 about 2 years Pierre-Loïc Garoche New archive for 1.6
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
49d364b8 07/04/2019 06:32 AM Pierre-Loïc Garoche

comestic changes, removing useless logs

7b424fe6 07/04/2019 06:31 AM Pierre-Loïc Garoche

z3 as an optional pacage in configure

dc6e8512 07/04/2019 01:01 AM Pierre-Loïc Garoche

Merge branch 'ada' into lustrec-seal

e5d77428 05/09/2019 10:19 AM Pierre-Loïc Garoche

Solved issue btw mpfr and conv functions (int_to_real was not handled)

dc732cf2 04/29/2019 10:29 PM Pierre-Loïc Garoche

Solved scopes print order

05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend

c1f565cd 04/19/2019 12:55 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

6f3a65e2 04/17/2019 02:27 AM hbourbou

No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.

325f07c0 04/11/2019 03:16 PM Christophe Garion

doc: use SVG format instead of PNG for dependency graph

View all revisions | View revisions

Also available in: Atom