Merge Requests · Why3 / why3 · GitLab

[WIP] Allows to read the detection information from a file different from the default one

!535 · created May 06, 2021 by François Bobot
- 0
updated May 06, 2021
Draft: CE values for function calls

!531 · created Apr 20, 2021 by Benedikt Becker
- 0
updated Apr 27, 2021
Allow arguments for transformations applied in why3 prove

!527 · created Apr 15, 2021 by Benedikt Becker
- 2
updated Apr 15, 2021
Reduce bounded all quantifications in reduction engine

!526 · created Apr 15, 2021 by Benedikt Becker
- 2
updated Apr 29, 2021
Add command line option to limit why3 prove to certain goals

!525 · created Apr 15, 2021 by Benedikt Becker
- 12
updated Apr 20, 2021
Compile plugins as .cma files instead of .cmo.

!501 · created Mar 13, 2021 by Guillaume Melquiond 1.5.0 component: build system
- 0
updated Mar 13, 2021
WIP: Try to speed up infer-loop.

!497 · created Mar 09, 2021 by Guillaume Melquiond
- 11
updated Mar 11, 2021
Simplify euclidean to computer division

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

!458 · created Feb 01, 2021 by Xavier Denis
- 8
updated Feb 04, 2021
WIP: Stackify CFG 4 of 9 tasks completed

!453 · created Jan 29, 2021 by Xavier Denis
- 14
updated Feb 11, 2021
[WIP] Automatically introduce a `val ghost function` for each `lemma`

!382 · created Jul 09, 2020 by Mário Pereira
- 1
updated Jul 09, 2020
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: Resolve "Investigate differences amongst platforms in `bench/ce/floats.mlw`"

!311 · created Jan 24, 2020 by Benedikt Becker component: counterexample
- 2
updated Oct 23, 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.5.0 component: build system
- 1
- 9
updated Jan 22, 2021
Add algorithms for computational real operations

!139 · created May 07, 2019 by François Bobot
- 5
updated Jun 05, 2019
Driver for Colibri and fixes

!112 · created Mar 29, 2019 by François Bobot To be discussed
updated Nov 06, 2020