Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / plugins @ a2b101d3

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

Latest revisions

# Date Author Comment
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