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

9d779097 02/03/2022 03:18 PM Lélio Brun

ast modifs and additional arrow_taint phase to retrieve which arrow "protects" / "taints" which variable

95d13330 01/28/2022 07:36 PM Pierre-Loïc Garoche

lustresf: change in model signature

293f2afd 01/28/2022 03:27 PM Pierre-Loïc Garoche

converting numerical functions to tiny

4d92dc0c 01/17/2022 12:42 PM Lélio Brun

fix testing process

f72d0081 01/14/2022 01:30 PM Lélio Brun

use -then and stat failed goals

790110eb 01/14/2022 11:22 AM Lélio Brun

update dune of tests

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

Also available in: Atom