Johannes Kanig a2807b3ddb Merge 1.8.2 into AdaCore master

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

..

bench-coq-why3-conf

Support for Coq 8.19.2

2024-10-03 11:19:54 +02:00

bench-few-provers-why3-conf

Move CE oracles to Alt-Ergo 2.6.0

2024-12-06 16:09:37 +01:00

ci-local.sh

Produce a tarball containing TryWhy3.

2024-01-18 11:24:08 +01:00

ci-opam.sh

Do not build the opt target, as the compiler might be bytecode-only.

2024-03-13 11:16:40 +01:00

ci-trywhy3.sh

update release instructions after release

2025-09-15 13:53:45 +02:00

ci.md

Reverse the logic for building the Docker image.

2024-11-08 16:35:15 +01:00

deployed-wrapper.sh

Add support for Broadway in the deployed image.

2021-02-25 16:59:47 +01:00

Dockerfile.build

do not map IEEE floats theory to Alt-Ergo's own theory

2025-06-18 10:45:29 +09:00

Dockerfile.deploy

Switch to zarith (fix #298).

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

Dockerfile.sphinx

Be more permissive with respect to future releases of Python.

2024-01-17 07:23:11 +01:00

headache_config.txt

Fix copyright headers.

2021-10-06 17:51:40 +02:00

header.txt

prepare release

2025-06-04 10:49:46 +02:00

nightly-bench.sh

Only one script for CE bench

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

release.md

update release doc

2025-10-14 10:25:07 +09:00

test_lib.ml

Test the opam build for the base and lastest compilers too.

2020-03-30 12:27:34 +02:00

upgrade_sessions.sh

Helper script to upgrade provers and detect regressions

2025-01-14 19:48:35 +01:00