Download (9.96 KB) Statistics
| Branch: | Tag: | Revision:

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

507da95d 08/20/2020 03:37 PM Corentin Lauverjat

Mise à jour

b6a913e1 07/30/2020 04:52 PM Corentin Lauverjat

Explanation about the Makefile

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

0980686c 07/11/2019 09:09 PM Pierre-Loïc Garoche

Seal deps + Z3 pin opam

d0d8fe27 07/13/2018 11:34 PM Pierre Loic Garoche

Updating dependencies in the READ:E

5573fee2 09/09/2016 07:29 PM Teme Kahsai

new readme

d01a6f46 09/09/2016 07:25 PM Making GitHub Delicious

add badge

7ec8e203 12/09/2015 12:40 AM Teme Kahsai


a1ea5749 05/05/2015 06:56 AM lememta

build status

f9707d86 05/05/2015 06:55 AM lememta

build status

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

dd3965eb 05/05/2015 01:44 AM Teme Kahsai

Initial commit