MARCHE Claude 89a894b47a do not map IEEE floats theory to Alt-Ergo's own theory ...

Upgrade to AE 2.6.2

2025-06-18 10:45:29 +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

Add a manual job to build the dependencies of TryWhy3, including AltErgo.

2024-01-20 07:13:42 +01: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

coma: update examples/coma/asm.coma

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

nightly-bench.sh

Only one script for CE bench

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

release.md

Fix release procedure.

2024-04-22 16:18:17 +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