Project

General

Profile

Revision:

Revisions

# Date Author Comment
820616b1 03/22/2021 01:14 PM Pierre-Loïc Garoche

Tiny verifier: better control of the print commands

25537a17 03/19/2021 03:02 PM Pierre-Loïc Garoche

Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!

b43b8eb5 01/26/2021 10:11 AM Pierre-Loic Garoche

add thread dependency required by z3 lib

ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract

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

(1-25/1486) Per page: 25, 50, 100

Also available in: Atom