Project

General

Profile

Revision:

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
bd4cb9d6 07/30/2020 04:54 PM Corentin Lauverjat

Opam not generated by dune
b6a913e1 07/30/2020 04:52 PM Corentin Lauverjat

Explanation about the Makefile
491aa732 07/30/2020 04:50 PM Corentin Lauverjat

Add explanation for mlmpfr and mpfr version pinning
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
91b83eb8 07/27/2020 02:08 PM Xavier Thirioux

...
fc36d0a0 07/27/2020 01:44 PM Xavier Thirioux

added some cleaning about hash-tables used for typing, clocking, etc.
f7c73c82 07/23/2020 03:34 PM Corentin Lauverjat

Correctif
3769b712 07/23/2020 03:12 PM Corentin Lauverjat

Passage à dune v2
589ccf9f 07/23/2020 03:05 PM Corentin Lauverjat

Passage à dune
dbc69edc 07/16/2020 03:38 PM Corentin Lauverjat

Passage à dune
e1f49bdb 07/16/2020 10:09 AM Xavier Thirioux

work in progress for ACSL support
8c36178f 07/09/2020 03:33 PM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
58fd528a 07/09/2020 03:27 PM Pierre-Loïc Garoche

Added some missing locations in tiny plugin
3e039a34 07/02/2020 03:32 PM Pierre-Loïc Garoche

Tiny: solved issue with a change in the Location.dummy signature
af49e9a4 03/12/2020 11:26 AM Xavier Thirioux

forgotten to uodate log.ml
(1-25/1482) Per page: 25, 50, 100

Also available in: Atom