Claude Marche efed8566d6 provers for reduced bench

2025-12-11 21:28:15 +01:00

..

bench-coq-why3-conf

proper renaming of E prover 2.6

2025-12-11 13:58:58 +01: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

provers for reduced bench

2025-12-11 21:28:15 +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 after release 1.8.2

2025-09-15 13:38:49 +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.bench

proper renaming of E prover 2.6

2025-12-11 13:58:58 +01:00

Dockerfile.build

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

2025-05-22 19:49:00 +02: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-provers-why3-conf

proper renaming of E prover 2.6

2025-12-11 13:58:58 +01:00

nightly-bench.sh

Only one script for CE bench

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

release.md

update after release 1.8.2

2025-09-15 13:38:49 +02: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