Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / plugins @ 9b0432bc

Name Size Revision Age Author Comment
  mpfr 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  salsa 943dbab3 9 months Pierre-Loïc Garoche fixed some code in salsa plugin migration
  scopes 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  seal 9c4cc944 9 months Corentin Lauverjat Transition to dune build system Improvement of ...
  tiny 9b0432bc 8 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  zustre a2b101d3 9 months Pierre-Loïc Garoche Zustre/Z3 dependency: switched from -R to -rpat...

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...

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

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

fixed some code in salsa plugin migration

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

View revisions

Also available in: Atom