Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
Branches
Overview
Active
Stale
All
spark-drivers
07625682
·
Lower steps limit in bench
·
Oct 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
numeric_tactic
279cb8d7
·
Added a theory for unbounded floats
·
Oct 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
graph-report
afb93822
·
Add tooltips to hist graph
·
Oct 19, 2023
!945
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
split-not
88071c42
·
Avoid creating "not not" when splitting goals.
·
Sep 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
599-usage-of-map-const-triggers-polymorphism
4403482f
·
ignore polymorphism of Map.const for SMT-LIB provers
·
Sep 18, 2023
!956
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
625-allow-running-prover-in-parallel-in-strategies-2
dea9e1f8
·
Merge branch '688-disable-mbqi-in-z3' into 'master'
·
Sep 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
794-why3-config-update-add-provers-adds-too-many-proof-nodes
dea9e1f8
·
Merge branch '688-disable-mbqi-in-z3' into 'master'
·
Sep 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
730-improve-translation-of-div-and-mod-for-smt-solvers
b6815f4b
·
Setup for benchmarking
·
Sep 11, 2023
!926
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
712-reactivate-maps_poly-and-maps_mono-tests-in-check-ce-bench
de90d1b0
·
missing changed oracles
·
Aug 29, 2023
!807
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
751-add-support-for-ocaml-lsp
c052ac0a
·
Merge branch '633-review-the-set-of-old-versions-of-provers' into 'master'
·
Aug 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
whyml2java
264a791d
·
java extractor
·
Aug 24, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
704-add-support-for-colibri2-prover
bbce4da9
·
Merge branch 'master' into 704-add-support-for-colibri2-prover
·
Aug 10, 2023
!761
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
417-internal-error-in-alt-ergo-after-inline_trivial
e9c92e49
·
Merge branch 'master' into 417-internal-error-in-alt-ergo-after-inline_trivial
·
Aug 02, 2023
!880
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
781-remove-meta-projection
3b511b3b
·
update sessions
·
Jul 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/find-supported-prover
c37c7442
·
[whyconf] lookup for external prover config
·
Jun 27, 2023
!811
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
extraction-create-prefix-paths-of-files
9a666987
·
chg: create path of output files
·
Jun 21, 2023
!908
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
doc_and_capitalization
acefd075
·
small improvement of API doc. Do not use a capitalized attribute.
·
Jun 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
763-add-a-command-why3-bench
1778b130
·
Merge branch 'disable-warning' into 'master'
·
May 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
intro_subst
9c1ad4ee
·
transformation `introduce` now performs substitution immediately when relevant
·
May 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
get_rid_of_old_prover_z3_4_3
c9b62b03
·
upgrade proofs
·
May 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
…
9
Next