Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4c945dde

Name Size Revision Age Author Comment
  data-test 5c0d6e4e almost 7 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f almost 6 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include 8d164031 almost 5 years Pierre-Loïc Garoche [MPFR] add more functions and better treatment ...
  share 9326d33d about 3 years Pierre-Loïc Garoche Better handling of python web-based signal viewer
  src 4c945dde about 3 years Pierre-Loïc Garoche Improved tiny backend
.gitignore 161 Bytes e7b4ba42 almost 7 years Christophe Garion add files in gitignore
.merlin 912 Bytes ae7d913d almost 6 years Pierre-Loïc Garoche Merlin files
.ocaml-config.sh 335 Bytes e548bb75 over 9 years lememta smaller amount of compilers
.travis.yml 1.66 KB e057dd08 over 7 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e almost 6 years Pierre-Loïc Garoche configure.ac tuning
INSTALL 290 Bytes 75a7b65b over 5 years Garoche install notes
LICENSE-LGPL.txt 25.8 KB 22fe1c93 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e almost 7 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 3.63 KB fb716d2c almost 6 years Pierre-Loïc Garoche Some autoconf update
README.lustrec 991 Bytes 7bfb18df over 9 years Xavier Thirioux updated version of README.lustrec about how to ...
README.md 1023 Bytes 0980686c about 5 years Pierre-Loïc Garoche Seal deps + Z3 pin opam
ReleaseProcess.txt 1.68 KB dd74ca16 over 7 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 over 5 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 10.3 KB f0195e96 over 4 years Pierre-Loïc Garoche - Primitive Tiny backend - Renamed Mpfr to lust...
opam 1.36 KB 222db658 almost 6 years Pierre-Loïc Garoche New url in opam file
opam.in 1.37 KB a01cb3a9 almost 6 years Pierre-Loïc Garoche New archive for 1.6
svnignore 103 Bytes 22fe1c93 almost 11 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...

Latest revisions

# Date Author Comment
4c945dde 07/02/2021 02:39 PM Pierre-Loïc Garoche

Improved tiny backend
9326d33d 07/02/2021 02:37 PM Pierre-Loïc Garoche

Better handling of python web-based signal viewer
15d8ede0 03/29/2021 11:07 PM Pierre-Loïc Garoche

First working version of the UI to display trajectories
820616b1 03/22/2021 01:14 PM Pierre-Loïc Garoche

Tiny verifier: better control of the print commands
25537a17 03/19/2021 03:02 PM Pierre-Loïc Garoche

Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!
b43b8eb5 01/26/2021 10:11 AM Pierre-Loic Garoche

add thread dependency required by z3 lib
ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
8c36178f 07/09/2020 03:33 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin
3e039a34 07/02/2020 03:32 PM Pierre-Loïc Garoche

Tiny: solved issue with a change in the Location.dummy signature

View all revisions | View revisions

Also available in: Atom