Project

General

Profile

Revision:

Revisions

# Date Author Comment
568ef84f 11/14/2024 06:03 PM Pierre-Loïc Garoche

Normalize constants in EMF/Reticle backend

b63160dc 11/13/2024 06:00 PM Pierre-Loïc Garoche

missing reticle file

772d01d0 11/13/2024 05:47 PM Pierre-Loïc Garoche

Reticle backend: workinprogress

a027ae96 09/13/2024 02:40 PM Pierre-Loïc Garoche

Solved issues with parsing argument on generated main

0fad8495 09/11/2024 06:37 PM Pierre-Loïc Garoche

reactivate scope plugin

bea511e1 09/10/2024 11:42 AM Pierre-Loïc Garoche

Trying to make it work with opam

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 configure.ac 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

Cleaning

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

the strategy will now unfold reset_cleared predicates

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

Also available in: Atom