Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 9b0432bc

Name Size Revision Age Author Comment
  backends 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  data-test 5c0d6e4e over 3 years Christophe Garion json-parser: more tests with single variables
  doc 73ccaf2f over 2 years Pierre-Loïc Garoche Merge branch 'cocospec' of https://cavale.ensee...
  examples 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  include fca87593 10 months Pierre-Loïc Garoche adding lusic building of libraries when install...
  lib 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  plugins 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  share 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
  src 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
.dockerignore 13 Bytes 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
.gitignore 230 Bytes 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
.ocamlformat 97 Bytes 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
.travis.yml 1.66 KB e057dd08 over 4 years Teme Kahsai adjusting travis
AUTHORS 244 Bytes ec8fc65e over 2 years Pierre-Loïc Garoche configure.ac tuning
Dockerfile.alpine 1.39 KB 491aa732 11 months Corentin Lauverjat Add explanation for mlmpfr and mpfr version pin...
Dockerfile.ubuntu 979 Bytes 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
LICENSE-LGPL.txt 25.8 KB 22fe1c93 over 7 years Pierre-Loïc Garoche Moved files to trunk in lustre_compiler git-sv...
Makefile-lustresf.in 142 Bytes 3b4b7a2e over 3 years Christophe Garion [lustresf] lustresf targets are optional in Mak...
Makefile.in 2.68 KB 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
README.md 9.96 KB 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
ReleaseProcess.txt 1.68 KB dd74ca16 over 4 years Frederic Boniol Document release process
TODO.org 11.1 KB f4cba4b8 over 2 years Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
configure.ac 5.66 KB 9b0432bc 10 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
dune 82 Bytes 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
dune-project 115 Bytes bd4cb9d6 11 months Corentin Lauverjat Opam not generated by dune
lustrec-enable-zustre.opam 471 Bytes 9c4cc944 11 months Corentin Lauverjat Transition to dune build system Improvement of ...
lustrec.opam 1.74 KB a5484aa2 10 months 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