Merge Requests · Why3 / why3 · GitLab

Extraction fixes

!364 · opened Apr 02, 2020 by Raphaël Rieu-Helft
- 0
updated Apr 03, 2020
cleaning

!363 · opened Apr 01, 2020 by MARCHE Claude
- 2
updated Apr 02, 2020
[Whyconf] Export load of builtin provers

!355 · opened Mar 25, 2020 by François Bobot 1.3.2 bugfix/v1.3
- 7
updated Mar 27, 2020
[WIP] Résoudre les problèmes de performance avec Patricia Tree hashconsé

!327 · opened Feb 28, 2020 by François Bobot
- 1
updated Feb 28, 2020
WIP: Resolve "Investigate differences amongst platforms in `bench/ce/floats.mlw`"

!311 · opened Jan 24, 2020 by Benedikt Becker
- 2
updated Jan 27, 2020
WIP: Add well_formed for type invariant

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

!231 · opened Sep 20, 2019 by François Bobot To be discussed
- 6
updated Sep 24, 2019
[WIP] use Dune

!229 · opened Sep 19, 2019 by François Bobot
- 1
- 5
updated Apr 03, 2020
Add algorithms for computational real operations

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

!112 · opened Mar 29, 2019 by François Bobot To be discussed
- 6
updated Mar 02, 2020