Solène Moreau 74914e7651 (V719-014) Merging Inria/master into SPARK/master ...

Change-Id: I2144736b2dbb76966fbe4eae6238a8751799a3d2
Depends-On: I5a522521b64c6e676113695f30625b9618461867
Depends-On: I51bf388c10a7d73401ebb48c7c3c07828da4af12

2022-07-19 14:57:03 +02:00

..

ce

(V719-014) Merging Inria/master into SPARK/master

2022-07-19 14:57:03 +02:00

ce_xfail

CE example algebraic_types split in 2

2019-01-08 16:19:08 +01:00

check-ce

Resolve "z3 driver should not unfold definitions"

2022-07-09 09:12:15 +00:00

encoding

Merge theories and modules into stdlib (fix issue #62).

2017-12-15 15:34:35 +01:00

extraction

Move tests/test-extraction to bench/extraction.

2021-02-05 19:57:12 +01:00

ide

ide-bench: update cursor position in bench

2019-10-01 14:59:29 +02:00

infer

Fix some obsolete oracles.

2021-10-18 19:06:00 +02:00

interp

attempt to fix MPFR error in execution tests on reals

2022-04-20 08:57:59 +02:00

invalid

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

memlimit

Delete unused test file for memlimit

2022-05-23 10:51:59 +02:00

parsing/bad

Cause parsing-bench to properly error out and add missing oracles.

2021-02-02 14:22:34 +01:00

plugins

Fix return and absurd parsing in MLCFG modules

2021-02-09 17:57:11 +01:00

programs

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00

replay

fix sessions

2021-06-25 10:26:57 +02:00

steplimit

Fix regexps for detection of step limit reached

2021-04-19 09:46:34 +00:00

typing

Expr: do not subst formulas into terms (fix #597)

2021-10-27 15:44:50 +02:00

valid

[Bench] mccarty f19_pseudorec is not proved

2018-06-27 23:11:41 +02:00

bench

Resolve "z3 driver should not unfold definitions"

2022-07-09 09:12:15 +00:00

ce-bench

Support for CVC5

2022-06-03 16:30:54 +00:00

check_realizations.sh

Use a single Isabelle driver for realizations.

2021-06-29 07:27:35 +02:00

check-ce-bench

reduce steps for Z3 on check-ce/657

2022-07-07 15:50:13 +02:00

copy_oracles.sh

Resolve "Update CE benchs to CVC4 1.8"

2022-04-06 19:17:34 +00:00

ide-bench

Use the dispatch executable for testing.

2020-10-21 16:04:06 +02:00

infer-bench

Merge branch 'master' into infer-bool

2020-11-12 11:58:15 +01:00

parsing-bench

Cause parsing-bench to properly error out and add missing oracles.

2021-02-02 14:22:34 +01:00

test_mlw_printer

Remove the warning for not modified variables used under old with an attribute

2022-02-17 16:44:02 +01:00

true_goal.why

…