Merge requests · Why3 / why3 · GitLab

Mentions légales du service

WIP: Resolve "Investigate differences amongst platforms in `bench/ce/floats.mlw`"

!311 · created Jan 24, 2020 by Benedikt Becker
component: counterexample
- Closed
- 2
updated Oct 14, 2022
Draft: Resolve "remove_unused transformation incorrect with some orderings"

!747 · created Oct 10, 2022 by MARCHE Claude
- Closed
- 1
updated Oct 19, 2022
Also temporary disable maps_mono check ce bench

!777 · created Nov 17, 2022 by MOREAU Solene
component: counterexample
- Closed
updated Nov 17, 2022
Draft: Collect functional values from prover model

!683 · created May 30, 2022 by MARCHE Claude
ProofInUse/AdaCore
- Closed
- 1
updated Feb 07, 2023
Draft: Resolve "Remove meta projection"

!914 · created Jul 07, 2023 by BONNOT Paul
component: counterexample
- Closed
updated Jul 07, 2023
Draft: upgrade cvc5 proofs from 1.0.0 to 1.0.5

!871 · created May 03, 2023 by Matteo Manighetti 1.7.0
- Closed
- 1
updated Jul 11, 2023
Draft: Resolve "Allow running prover in parallel in strategies"

!952 · created Sep 11, 2023 by MARCHE Claude 1.7.0
Hackathon ProofInUse/AdaCore ProofInUse/TrustInSoft
- Closed
updated Sep 11, 2023
Draft: Resolve "Why3 goal oriented strategies : Correct some bugs"

!961 · created Sep 26, 2023 by BONNOT Paul
- Closed
updated Sep 26, 2023
Draft: Resolve "`why3 config update --add-provers` adds too many proof nodes"

!951 · created Sep 11, 2023 by Matteo Manighetti
- Closed
- 1
updated Sep 27, 2023
Resolve "RAC : List functions and loops that might have a too weak contract"

!950 · created Sep 08, 2023 by BONNOT Paul 1.8.0
component: counterexample
- Closed
- 7
updated Oct 11, 2023
Avoid creating "not not" when splitting goals.

!960 · created Sep 25, 2023 by Guillaume Melquiond 1.7.0
component: transformations
- Closed
updated Nov 13, 2023
Check for existence of goal/lemma in split_theory

!1014 · created Jan 29, 2024 by Johannes Kanig
ProofInUse/AdaCore
- Closed
- 3
updated Feb 13, 2024
fix provers detection in presence of paths that need escaping

!1036 · created Mar 09, 2024 by Armaël Guéneau
- Closed
- 10
updated Mar 11, 2024
Draft: Resolve "forward_propagation strategy : sin and cos support"

!1035 · created Mar 05, 2024 by BONNOT Paul
- Closed
- 4
updated Apr 09, 2024
Draft: Resolve "Add a way to debug Z3 proofs in the IDE"

!994 · created Dec 13, 2023 by BONNOT Paul
- Closed
- 1
updated May 27, 2024
Makefile: install share/lang/coma.lang

!1080 · created Jun 03, 2024 by Armaël Guéneau mome
- Closed
- 1
- 1
- Approved
updated Jun 07, 2024
Resolve "Can't create terms with polymorphism and applications via API"

!1081 · created Jun 06, 2024 by Matteo Manighetti
- Closed
- 2
updated Jun 17, 2024
New front-end language Coma

!1085 · created Jun 17, 2024 by MARCHE Claude
Décysif
- Closed
updated Jul 01, 2024
New front-end language: Coma

!1095 · created Jul 01, 2024 by PATAULT Paul
- Closed
updated Jul 03, 2024
Draft: Resolve "examples/multiprecision fails to compile"

!1107 · created Aug 09, 2024 by Gérald Point
component: examples
- Closed
updated Aug 09, 2024

Prev
1
2
3
4
5
Next