Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Handle exception when file is not found

!1189 · created Dec 23, 2024 by XIA Li-Yao
- Closed
- 4
- Approved
updated Jan 27, 2025
apidoc: Fix formatting of link

!1183 · created Dec 02, 2024 by XIA Li-Yao
- Closed
- 1
updated Dec 02, 2024
fix Isab real for sets

!1170 · created Nov 13, 2024 by MARCHE Claude 1.8.0
- Closed
- 1
updated Nov 15, 2024
Draft: Resolve "Driver FPA for AE 2.5 should map the rounding fct of ieee_float to its builtin"

!1133 · created Oct 01, 2024 by MARCHE Claude 1.8.0
Décysif
- Closed
- 1
updated Oct 08, 2024
Draft: Resolve "Improve documentation of extraction to C"

!1069 · created May 15, 2024 by MARCHE Claude 1.8.0
ProofInUse/MERCE
- Closed
updated Oct 07, 2024
Resolve "effect is now a keyword in OCaml 5.3"

!1135 · created Oct 02, 2024 by PATAULT Paul 1.8.0
- Closed
updated Oct 02, 2024
Extraction tests fails due to non standard location of libgmp

!1097 · created Jul 03, 2024 by Gérald Point 1.8.0
- Closed
- 1
updated Oct 02, 2024
Draft: Verifythis 2024 solutions

!1048 · created Apr 12, 2024 by Jean-Christophe Filliâtre
- Closed
updated Sep 12, 2024
Draft: Resolve "examples/multiprecision fails to compile"

!1107 · created Aug 09, 2024 by Gérald Point
component: examples
- Closed
updated Aug 09, 2024
New front-end language: Coma

!1095 · created Jul 01, 2024 by PATAULT Paul
- Closed
updated Jul 03, 2024
New front-end language Coma

!1085 · created Jun 17, 2024 by MARCHE Claude
Décysif
- Closed
updated Jul 01, 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
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
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
Draft: Resolve "forward_propagation strategy : sin and cos support"

!1035 · created Mar 05, 2024 by BONNOT Paul
- Closed
- 4
updated Apr 09, 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
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
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
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
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

Prev
1
2
3
4
5
Next