Merge Requests · Why3 / why3 · GitLab

Resolve "Ugly output of why3replay"

!431 · opened Jan 15, 2021 by Benedikt Becker 1.4.0 component: tools
- 0
updated Jan 15, 2021
Generalize invariant witness

!428 · opened Dec 17, 2020 by François Bobot
- 18
updated Dec 18, 2020
Draft: Track default values

!426 · opened Dec 16, 2020 by Benedikt Becker component: counterexample
- 2
updated Jan 11, 2021
Improve RAC

!424 · opened Dec 15, 2020 by Benedikt Becker component: counterexample
- 0
updated Jan 15, 2021
[WIP] Run the main of commands outside the initialization of the module

!414 · opened Nov 23, 2020 by François Bobot
- 5
updated Nov 23, 2020
WIP: Extraction erros (issue #509)

!412 · opened Nov 13, 2020 by Mário Pereira 1.4.0
- 5
updated Nov 29, 2020
[WIP] Automatically introduce a `val ghost function` for each `lemma`

!382 · opened Jul 09, 2020 by Mário Pereira
- 1
updated Jul 09, 2020
Encode WhyML program into TryWhy3's URL

!372 · opened May 02, 2020 by Guillaume Melquiond 1.4.0 component: trywhy3
- 0
updated May 06, 2020
WIP: Resolve "Sequence literals"

!371 · opened 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 · 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 component: counterexample
- 2
updated Oct 23, 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 0 of 4 tasks completed

!229 · opened Sep 19, 2019 by François Bobot component: build system
- 1
- 6
updated Dec 16, 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 Nov 06, 2020