Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 72a93147

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

Latest revisions

# Date Author Comment
72a93147 07/17/2019 11:12 PM Pierre-Loïc Garoche

seal: stateless systems
1d3f2f66 07/17/2019 07:40 PM Pierre-Loïc Garoche

every in kind2 syntax
ae08b9fc 07/17/2019 07:30 PM Pierre-Loïc Garoche

[seal] delt with Merge and when
[printer] more kind2 syntax
629392e1 07/17/2019 02:16 AM Pierre-Loïc Garoche

No more when suffix in clocked variables with kind2 option
0697ff5b 07/16/2019 11:17 PM Pierre-Loïc Garoche

Produce true/false statements as constants
2200179c 07/16/2019 07:43 PM Pierre-Loïc Garoche

removed reload of external modules when checking algebraic loop.
25320f03 07/16/2019 06:54 PM Pierre-Loïc Garoche

scheduling now report unused vars and remove their definition instead of stopping processing.
c6c8786b 07/16/2019 06:53 PM Pierre-Loïc Garoche

kind2 output for printer. global option available
03c767b1 07/16/2019 03:38 AM Pierre-Loïc Garoche

Seal: solved issue with guards merging
3e07a17b 07/15/2019 08:19 PM Pierre-Loïc Garoche

Sorting expressions: less bugs

View all revisions | View revisions

Also available in: Atom