Merge requests · Why3 / why3 · GitLab

Mentions légales du service

Update the OCaml compilers, avoid installing Alt-Ergo twice, and run the build-image job less often.

!1185 · created Dec 07, 2024 by Guillaume Melquiond
component: build system component: continuous integration
- Merged
updated Dec 07, 2024
Add windows compilation support

!1091 · created Jun 21, 2024 by Basile Desloges 1.8.0
component: build system
- Merged
- 32
updated Dec 11, 2024
Prepare release 1.8.0

!1144 · created Oct 07, 2024 by PATAULT Paul 1.8.0
- Merged
- 2
updated Dec 11, 2024
SMTv2 model parser: don't fail on untyped prover variables

!1186 · created Dec 09, 2024 by Matteo Manighetti 1.8.1
- Merged
- 1
updated Jan 17, 2025
Upgrade sessions to Alt-Ergo 2.6.0

!1187 · created Dec 14, 2024 by Matteo Manighetti
- Merged
- 2
updated Jan 17, 2025
Handle exception when file is not found

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

!1192 · created Feb 01, 2025 by Jean-Christophe Filliâtre
- Merged
updated Feb 02, 2025
Check_ce: simplify API interface

!1194 · created Feb 07, 2025 by Matteo Manighetti
Décysif ProofInUse/AdaCore ProofInUse/TrustInSoft
- Merged
- Approved
updated Feb 10, 2025
Fix space leak: replace global Hid with Wid

!1193 · created Feb 06, 2025 by XIA Li-Yao 1.8.1
component: core
- Merged
- 1
updated Feb 21, 2025
Resolve "Forward error propagation strategy : Sum, Exp, Log"

!1005 · created Jan 18, 2024 by BONNOT Paul 1.8.0
ProofInUse/MERCE
- Merged
- 4
updated Feb 21, 2025
Resolve "reactivate BDD-infer"

!1195 · created Feb 12, 2025 by MARCHE Claude 1.8.1
ProofInUse/MERCE
- Merged
updated Feb 21, 2025
Move concrete terms out of model_parser

!1196 · created Feb 14, 2025 by Matteo Manighetti 1.9.0
Décysif component: counterexample
- Merged
- 1
updated Mar 03, 2025
exn_printer: Print backtrace when available

!1188 · created Dec 23, 2024 by XIA Li-Yao
- 2
updated Mar 05, 2025
Handle exception when file is not found

!1191 · created Jan 27, 2025 by XIA Li-Yao 1.8.1
component: session server
- Merged
- 3
updated Mar 05, 2025
Resolve "Misleading error message"

!1199 · created Mar 05, 2025 by MARCHE Claude 1.8.1
- Merged
updated Mar 05, 2025
Improve couterexample parsing: reconstruct polymorphic instances

!1198 · created Mar 05, 2025 by Matteo Manighetti
- Merged
- Approved
updated Mar 07, 2025
Log sum exp and log sum sum exp reproved

!1197 · created Feb 26, 2025 by MARCHE Claude
ProofInUse/MERCE
- Merged
updated Mar 10, 2025
Improve RAC environment and build concrete floats

!1201 · created Mar 10, 2025 by Matteo Manighetti
Décysif
- Merged
- 1
updated Mar 10, 2025
Draft: Log entire environment at RAC failure

!1200 · created Mar 07, 2025 by Matteo Manighetti
- 1
updated Mar 13, 2025
Draft: Resolve "Extraction broken when cloning a module with interface"

!1190 · created Jan 15, 2025 by Benjamin Terra-Jorge
updated Mar 13, 2025

Prev
1
…
56
57
58
59
60
61
Next