Merge Requests · Why3 / why3 · GitLab

[WIP] Automatically introduce a `val ghost function` for each `lemma`

!382 · opened Jul 09, 2020 by Mário Pereira
- 1
updated Jul 09, 2020
WIP: Basic RAC for why3execute and CE validation

!376 · opened May 14, 2020 by Benedikt Becker
- 16
updated Jul 24, 2020
Refer to type invariants as TypeInvariant rather than LoopInvariant (fix #480).

!374 · opened May 04, 2020 by Guillaume Melquiond 1.4.0 component: syntax
updated May 07, 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
cleaning

!363 · opened Apr 01, 2020 by MARCHE Claude
- 2
updated Apr 02, 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
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