# Date Author Comment
91bf63ea 07/22/2022 05:56 PM Pierre-Loïc Garoche

Preping for future release 1.8

4899e2fd 07/22/2022 05:50 PM Pierre-Loïc Garoche

Script to build in docker

88f0432e 07/22/2022 05:32 PM Pierre-Loïc Garoche

Removed option in to rely on github Z3

928d0cbd 07/22/2022 05:19 PM Pierre-Loïc Garoche

Added tiny as an optional feature

d2fdea2b 07/22/2022 05:19 PM Pierre-Loïc Garoche

missing dep to str in _tags

d072fb87 07/05/2022 03:22 PM Pierre-Loïc Garoche

Preparing release 1.7 Xia/Huai

e178b9f6 04/12/2022 12:09 PM Pierre-Loïc Garoche

Merge branch 'merge-2022_04_11' into cocospec-to-acsl

56f5e434 04/12/2022 11:39 AM Pierre-Loïc Garoche

Missing files

2fe896f9 04/12/2022 11:33 AM Pierre-Loïc Garoche

Merge branch 'cocospec-to-acsl' into merge-2022_04_11

4fae315d 04/11/2022 09:58 AM Lélio Brun

new ignored tests (timeouts)

4d4a4502 04/11/2022 09:35 AM Pierre-Loïc Garoche

updated wrt tiny library API changes

898c319e 04/02/2022 01:53 PM Lélio Brun

the strategy seems to be fixed (ie. does not imply those strange Lang.floats non-initialized context exceptions)

7581cc18 03/29/2022 01:52 PM Lélio Brun

fix tests and strategy

0ff40efd 03/10/2022 04:11 PM Xavier Thirioux

added a simpler version of the problematic Detector1_PP example

edb5e637 03/04/2022 04:45 PM Lélio Brun

do not ignore invalid contracts (bc we do not compile them)

7eac66b1 03/04/2022 04:43 PM Lélio Brun

flag for contracts compilation

f0cecfef 03/04/2022 10:05 AM Lélio Brun

recursive strategy to unfold memory pack relations

09bfc860 02/15/2022 01:00 PM Pierre-Loïc Garoche


12578acf 02/14/2022 11:13 AM Lélio Brun

the strategy will now unfold reset_cleared predicates

6c3c43b9 02/10/2022 04:23 PM Lélio Brun

normalize enum order

aaf75cc1 02/10/2022 03:02 PM Pierre-Loïc Garoche

Yojson deprecated json type

a8693394 02/10/2022 02:59 PM Pierre-Loïc Garoche

Removed deprecated Pervasives module

c13edad6 02/09/2022 01:31 PM Lélio Brun

update README

4b6ed5de 02/09/2022 01:22 PM Lélio Brun

more local memory correspondence partial relations

ddb4f358 02/03/2022 03:24 PM Lélio Brun

missing files

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

Also available in: Atom