Merge requests · Why3 / why3

Draft: Verifythis 2024 solutions

!1048 · created Apr 12, 2024 by Jean-Christophe Filliâtre
- Closed
updated Sep 12, 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
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
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
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
fix Isab real for sets

!1170 · created Nov 13, 2024 by MARCHE Claude 1.8.0
- Closed
- 1
updated Nov 15, 2024
apidoc: Fix formatting of link

!1183 · created Dec 02, 2024 by XIA Li-Yao
- Closed
- 1
updated Dec 02, 2024
Handle exception when file is not found

!1189 · created Dec 23, 2024 by XIA Li-Yao
- Closed
- 4
- Approved
updated Jan 27, 2025