Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 4d4a4502

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

Latest revisions

# Date Author Comment
4d4a4502 04/11/2022 09:35 AM Pierre-Loïc Garoche

updated wrt tiny library API changes
09bfc860 02/15/2022 01:00 PM Pierre-Loïc Garoche

Cleaning
aaf75cc1 02/10/2022 03:02 PM Pierre-Loïc Garoche

Yojson deprecated json type
a8693394 02/10/2022 02:59 PM Pierre-Loïc Garoche

Removed deprecated Pervasives module
95d13330 01/28/2022 07:36 PM Pierre-Loïc Garoche

lustresf: change in model signature
293f2afd 01/28/2022 03:27 PM Pierre-Loïc Garoche

converting numerical functions to tiny
9735491b 12/09/2021 10:16 AM Pierre-Loïc Garoche

only requires seal package for lustrev
4df24ef3 09/14/2021 01:48 AM Pierre-Loïc Garoche

Improvements on parsing json for lustre-sf
9d3bcc89 09/08/2021 09:56 AM Pierre-Loïc Garoche

Adapted json-parser from stateflow tool to the new signatures
4c945dde 07/02/2021 02:39 PM Pierre-Loïc Garoche

Improved tiny backend

View all revisions | View revisions

Also available in: Atom