Merge requests · Why3 / why3 · GitLab

Mentions légales du service

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
exn_printer: Print backtrace when available

!1188 · created Dec 23, 2024 by XIA Li-Yao
- 2
updated Mar 05, 2025
Draft: Coma in TryWhy3

!1142 · created Oct 06, 2024 by PATAULT Paul
component: trywhy3 feature wish priority: low
- 1
updated Oct 07, 2024
Draft: Resolve "Forward propagation strategy : Improve lemma for multiplication"

!1066 · created May 14, 2024 by BONNOT Paul
- 1
updated May 27, 2024
Draft: Resolve "Experiment with new command to profile axioms"

!1056 · created Apr 22, 2024 by BONNOT Paul
- 1
updated May 27, 2024
Add support for (<>) in prefix position

!975 · created Nov 13, 2023 by Xavier Denis
- 5
updated Dec 23, 2023
Draft: Resolve "Improvements on goal oriented strategies"

!970 · created Oct 23, 2023 by BONNOT Paul
- 3
updated May 27, 2024
Draft: Resolve "Usage of `Map.const` triggers polymorphism"

!956 · created Sep 18, 2023 by MARCHE Claude 1.9.0
updated Oct 30, 2024
Draft: Resolve "improve translation of div and mod for SMT solvers"

!926 · created Jul 24, 2023 by Matteo Manighetti
ProofInUse/AdaCore ProofInUse/TrustInSoft
- 1
updated Sep 11, 2023
[Dune] Prepare the use of dune-site

!888 · created May 24, 2023 by François Bobot
- 11
- 1
updated Dec 06, 2024
Resolve "Internal error in Alt-ergo after inline_trivial"

!880 · created May 12, 2023 by BONNOT Paul
ProofInUse/TrustInSoft
- 4
updated May 27, 2024
Draft: Resolve "CE: variables in concrete terms should be denoted by idents instead of strings"

!863 · created Apr 21, 2023 by MARCHE Claude
ProofInUse/TrustInSoft
updated Aug 29, 2023
Draft: Resolve "keep less unused symbols"

!859 · created Apr 18, 2023 by MARCHE Claude
Hackathon component: counterexample
updated Oct 22, 2024
Draft: Resolve "Counterexamples for labels bug"

!814 · created Feb 20, 2023 by MOREAU Solene
ProofInUse/AdaCore ProofInUse/TrustInSoft component: counterexample
- 1
updated Feb 21, 2023
Draft: [whyconf] lookup for external prover config

!811 · created Feb 15, 2023 by Loïc Correnson
updated Jun 27, 2023
SMTLIB theory of sequences

!803 · created Jan 31, 2023 by Jacques-Henri Jourdan
- 15
updated Mar 22, 2023
Try to use nicer name when compiling pattern

!790 · created Jan 09, 2023 by François Bobot
Resolve "Support for ADT in Alt-Ergo"

!786 · created Dec 06, 2022 by BONNOT Paul 1.9.0
Décysif ProofInUse/OCamlPro ProofInUse/TrustInSoft
- 9
updated Dec 06, 2024
micro-Python: global variables and logic functions

!775 · created Nov 17, 2022 by Jean-Christophe Filliâtre
updated Nov 17, 2022

Prev
1
2
Next