Logo
Explore Help
Sign In
ada/why3
0
0
Fork 0
You've already forked why3
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf-15
why3/misc
History
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
Powered by Gitea Page: 346ms Template: 36ms
English
English
Licenses API