Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  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...
  examples 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  include fca87593 almost 2 years Pierre-Loïc Garoche adding lusic building of libraries when install...
  lib 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  plugins 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  share 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
  src 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
.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 ...
.ocamlformat 97 Bytes 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
.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.39 KB 491aa732 almost 2 years Corentin Lauverjat Add explanation for mlmpfr and mpfr version pin...
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 9.96 KB 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
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 5.66 KB 9b0432bc over 1 year Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
dune 82 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
dune-project 115 Bytes bd4cb9d6 almost 2 years Corentin Lauverjat Opam not generated by dune
lustrec-enable-zustre.opam 471 Bytes 9c4cc944 almost 2 years Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.opam 1.74 KB a5484aa2 almost 2 years Pierre-Loïc Garoche reactivating all plugins

Latest revisions

# Date Author Comment
9b0432bc 08/31/2020 02:56 PM Corentin Lauverjat

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

9e88590e 08/20/2020 03:38 PM Corentin Lauverjat

Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition

507da95d 08/20/2020 03:37 PM Corentin Lauverjat

Mise à jour README.md

fca87593 08/20/2020 03:05 PM Pierre-Loïc Garoche

adding lusic building of libraries when installing includes

a89ad528 08/20/2020 02:53 PM Corentin Lauverjat

Cleaning up configure.ac by removing now useless informations

a2b101d3 08/19/2020 03:31 PM Pierre-Loïc Garoche

Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang

a5484aa2 08/19/2020 03:09 PM Pierre-Loïc Garoche

reactivating all plugins

8658035f 08/19/2020 02:47 PM Pierre-Loïc Garoche

restricting opam to core install

e40fd0dd 08/19/2020 02:46 PM Pierre-Loïc Garoche

restricting opam to core install

943dbab3 08/19/2020 02:46 PM Pierre-Loïc Garoche

fixed some code in salsa plugin migration

View all revisions | View revisions

Also available in: Atom