Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / plugins @ 9b0432bc

Name Size Revision Age Author Comment
  mpfr 9c4cc944 12 months Corentin Lauverjat Transition to dune build system Improvement of ...
  salsa 943dbab3 11 months Pierre-Loïc Garoche fixed some code in salsa plugin migration
  scopes 9c4cc944 12 months Corentin Lauverjat Transition to dune build system Improvement of ...
  seal 9c4cc944 12 months Corentin Lauverjat Transition to dune build system Improvement of ...
  tiny 9b0432bc 11 months Corentin Lauverjat Using deriving_ppx to derive show_ functions fo...
  zustre a2b101d3 11 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