Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  data-test 5c0d6e4e over 4 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 3 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  include 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  lib 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  plugins 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  share 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  src 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
.dockerignore 13 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
.gitignore 230 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
.travis.yml 1.66 KB e057dd08 over 5 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 3 years Pierre-Loïc Garoche configure.ac tuning
Dockerfile.alpine 1.08 KB 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
Dockerfile.ubuntu 979 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 8 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 2.68 KB 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
README.md 8.13 KB 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
ReleaseProcess.txt 1.68 KB dd74ca16 over 5 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 about 3 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 7.02 KB 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
dune 82 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
dune-project 71 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec-enable-zustre.opam 471 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.opam 1.74 KB 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...

Latest revisions

# Date Author Comment
9c4cc944 07/30/2020 04:35 PM Corentin Lauverjat

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

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

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

2120af73 01/27/2020 07:00 PM Pierre-Loïc Garoche

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

a0c92fa8 01/27/2020 04:24 PM Pierre-Loïc Garoche

printing nodes + more progress on seal export

8d164031 12/09/2019 04:43 PM Pierre-Loïc Garoche

[MPFR] add more functions and better treatment of print output variables in main.c

4e9ba094 12/09/2019 04:42 PM Pierre-Loïc Garoche

temporary changed in the expression printer

c4521397 12/09/2019 09:53 AM Pierre-Loïc Garoche

preserving types/clocks when possible

View all revisions | View revisions

Also available in: Atom