Merge requests · Why3 / why3 · GitLab

[Env] Generalize env with resolver

!674 · created May 09, 2022 by François Bobot
- 2
updated May 09, 2022
Move extraction drivers to their own directory.

!672 · created May 06, 2022 by Guillaume Melquiond 1.6.0 component: extraction
- 0
updated May 06, 2022
Draft: 'Subregion Analysis'

!667 · created Apr 29, 2022 by Xavier Denis
- 3
updated Apr 29, 2022
Resolve "Allow giant-step only in `Check_ce.select_model`"

!661 · created Apr 22, 2022 by MOREAU Solene ProofInUse/AdaCore ProofInUse/TrustInSoft component: counterexample
updated May 13, 2022
Resolve "IDE: should display the right source file in case of syntax or typing error"

!659 · created Apr 20, 2022 by MARCHE Claude component: graphical user interface
- 0
updated Apr 22, 2022
Eliminate unused symbols

!623 · created Feb 11, 2022 by MARCHE Claude
updated Apr 08, 2022
Draft: Add support for Odoc

!592 · created Sep 24, 2021 by Guillaume Melquiond component: build system component: documentation
- 1
- 0
updated May 06, 2022
Draft: Predicate `list.Sorted.sorted` recursively-defined.

!571 · created Sep 03, 2021 by Mário Pereira
- 6
updated Sep 08, 2021
Draft: Resolve "New function for conversion from real to float"

!570 · created Sep 03, 2021 by MARCHE Claude
- 0
updated Sep 29, 2021
Draft: Resolve "Interface for Module" 2 of 4 tasks completed

!557 · created Jun 30, 2021 by Benjamin Terra-Jorge component: syntax
updated Jan 24, 2022
Simplify euclidean to computer division

!479 · created Feb 06, 2021 by François Bobot
- 0
updated Apr 29, 2022
WIP: Add a CONTRIBUTING.md

!458 · created Feb 01, 2021 by Xavier Denis
- 8
updated Feb 04, 2021
WIP: Resolve "Sequence literals"

!371 · created Apr 22, 2020 by Claudio Belo Lourenco To be discussed component: core component: syntax
- 0
updated Jun 26, 2020
[WIP] Résoudre les problèmes de performance avec Patricia Tree hashconsé

!327 · created Feb 28, 2020 by François Bobot
- 1
updated Feb 28, 2020
WIP: Add well_formed for type invariant

!283 · created Nov 27, 2019 by DAILLER Sylvain
- 0
updated Nov 27, 2019
[WIP] Add a cache to the call of provers

!231 · created Sep 20, 2019 by François Bobot To be discussed
updated Sep 24, 2019
[WIP] use Dune 0 of 4 tasks completed

!229 · created Sep 19, 2019 by François Bobot 1.6.0 component: build system
- 1
- 10
updated Apr 25, 2022
Add algorithms for computational real operations

!139 · created May 07, 2019 by François Bobot
- 5
updated Jan 24, 2022