Guillaume Melquiond 9ecae64177 Update the release process.

2024-01-19 22:16:53 +01:00

..

bench-coq-why3-conf

support Coq 8.9.1

2019-06-14 13:23:32 +02:00

bench-few-provers-why3-conf

discard support for coq versions < 8.11

2023-06-21 13:49:28 +00:00

ci-local.sh

Produce a tarball containing TryWhy3.

2024-01-17 13:18:00 +01:00

ci-opam.sh

Make the opam jobs a bit less confusing.

2024-01-17 07:01:44 +01:00

ci-trywhy3.sh

Split TryWhy3 from its dependencies.

2024-01-19 22:16:25 +01:00

ci.md

build new image with Z3 4.11.2

2023-04-12 21:06:08 +02:00

deployed-wrapper.sh

Add support for Broadway in the deployed image.

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

Dockerfile.build

new docker image with Alt-Ergo 2.5.2

2023-11-14 11:58:01 +01:00

Dockerfile.deploy

Explicitly enable components in the deployed image.

2022-11-29 08:29:34 +01:00

Dockerfile.sphinx

Be more permissive with respect to future releases of Python.

2024-01-17 07:01:44 +01:00

headache_config.txt

Fix copyright headers.

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

header.txt

Update headers.

2023-03-07 09:58:45 +01:00

nightly-bench.sh

Only one script for CE bench

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

release.md

Update the release process.

2024-01-19 22:16:53 +01:00

test_lib.ml

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

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