MOREAU Solene 9afc38484d Support for CVC5

2022-06-03 16:30:54 +00:00

..

bench-coq-why3-conf

support Coq 8.9.1

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

bench-few-provers-why3-conf

Move Alt-Ergo from 2.3.0 to 2.3.3.

2021-09-27 21:22:14 +02:00

ci-local.sh

Restore mlmpfr testing (fix #636).

2022-05-05 10:46:35 +02:00

ci-opam.sh

Use Inria shared workers and enable parallel compilation.

2022-03-11 10:05:59 +01:00

ci.md

Restore the still relevant parts of the ci.md file.

2022-03-16 07:50:38 +01:00

deployed-wrapper.sh

Add support for Broadway in the deployed image.

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

Dockerfile.build

Support for CVC5

2022-06-03 16:30:54 +00:00

Dockerfile.deploy

Tentatively make use of the deployment cache.

2021-09-29 15:55:49 +02:00

Dockerfile.sphinx

Install a font on the Docker image for documentation (fix #529).

2021-01-23 14:42:38 +01:00

headache_config.txt

Fix copyright headers.

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

header.txt

Update headers.

2022-04-26 16:33:42 +02:00

nightly-bench.sh

Fix Coq detection for nightly bench.

2022-03-19 08:46:56 +01:00

release.md

Improve release instructions.

2022-04-29 15:54:11 +02:00

test_lib.ml

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

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