Johannes Kanig a2807b3ddb Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

..

alt_ergo_smt

support for Alt-Ergo with Dolmen front-end and SMT syntax

2023-11-16 19:34:49 +00:00

check-ce

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

encoding

Discriminate algebraic types.

2023-01-31 01:46:10 +01:00

extraction

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

ide

ide-bench: update cursor position in bench

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

infer

improved efficiency of BDD-infer

2023-04-28 09:58:02 +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

java

reviewing whyml2java

2024-10-31 17:51:38 +01: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

coma: update stdlib + examples

2024-08-08 11:09:46 +02:00

programs

Forbid using different names for constructors, fields, and (co)inductive cases

2023-01-26 14:20:10 +01:00

replay

Add metas for unused dependencies in generated axioms

2024-10-25 18:34:29 +02:00

steplimit

Fix regexps for detection of step limit reached

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

typing

do not allow implicit inference of partial

2024-10-31 15:27:09 +01:00

valid

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

z3_nombqi

Session create: don't do split_vc by default

2023-10-09 11:25:16 +00:00

bddinfer-bench

move oracles in a separate subdir

2022-07-19 16:41:36 +02:00

bench

Update bench.

2024-11-13 19:04:53 +01:00

ce-stats.py

remove unused files, refine statistics

2024-10-21 17:42:20 +02:00

check_realizations.sh

Use a single Isabelle driver for realizations.

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

check-ce-bench

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

coma

coma_vc: minor fix

2024-08-08 09:06:07 +02:00

copy_oracles.sh

Only one script for CE bench

2022-10-20 16:48:13 +02:00

ide-bench

Use the dispatch executable for testing.

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

infer-bench

move oracles in a separate subdir

2022-07-19 16:41:36 +02: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

…