Project

General

Profile

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

Latest revisions

# Date Author Comment
8c934ccd 07/04/2019 06:35 AM Pierre-Loïc Garoche

lustrev seal: ongoing work on extraction as dynamical system. Still not working yet

6c3f2837 07/04/2019 06:33 AM Pierre-Loïc Garoche

lustrev: removed the check of no dependencies

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...

View all revisions | View revisions

Also available in: Atom