Issues · Why3 / why3 · GitLab

Ugly output of why3replay

#528 · opened Jan 15, 2021 by Guillaume Melquiond 1.4.0 component: tools
- 1
- 0
updated Jan 15, 2021
extraction errors

#509 · opened Oct 09, 2020 by Jean-Christophe Filliâtre 1.4.0 component: extraction
- 1
- 0
updated Nov 13, 2020
support for CVC4 1.8

#502 · opened Sep 17, 2020 by MARCHE Claude 1.4.0 component: drivers
- 0
updated Oct 23, 2020
Shortcuts names for provers can't be used anymore from command line?

#489 · opened Jun 23, 2020 by Denis Cousineau 1.4.0 To be discussed
- 5
updated Dec 10, 2020
document the emacs mode for Why3

#474 · opened Apr 09, 2020 by MARCHE Claude 1.4.0 component: documentation
- 0
updated Oct 23, 2020
Doc: document the any construct

#470 · opened Mar 30, 2020 by MARCHE Claude 1.4.0 component: documentation
- 0
updated Oct 23, 2020
Why3session output is broken in presence of detached nodes

#464 · opened Mar 22, 2020 by MARCHE Claude 1.4.0
- 6
updated Aug 24, 2020
Update documentation 6 of 13 tasks completed

#454 · opened Mar 03, 2020 by MARCHE Claude 1.4.0 component: documentation
- 6
updated Oct 23, 2020
Error when loading hypothesis_selection.cmxs: undefined symbol: camlGraph

#453 · opened Mar 02, 2020 by Guillaume Melquiond 1.4.0 component: build system
- 4
updated Oct 26, 2020
Syntax `(fun x -> ...)` should always denote a lambda-expression, not a program

#440 · opened Feb 05, 2020 by MARCHE Claude 1.4.0 To be discussed feature wish
- 18
updated Nov 10, 2020
Warn about spurious `rec` keyword

#439 · opened Feb 04, 2020 by MARCHE Claude 1.4.0 To be discussed feature wish
- 0
updated Oct 23, 2020
Add floating-point support by Alt-Ergo FPA and mathsat

#438 · opened Jan 28, 2020 by MARCHE Claude 1.4.0 component: drivers
- 9
updated Oct 23, 2020
SMT support for solvers which do not support quantifiers

#437 · opened Jan 28, 2020 by MARCHE Claude 1.4.0 component: drivers
- 1
- 0
updated Oct 23, 2020
Local config file common to all Why3 commands

#430 · opened Jan 10, 2020 by MARCHE Claude 1.4.0 component: tools feature wish
- 1
- 6
updated Oct 23, 2020
Cloning: please improve syntax and error messages

#387 · opened Oct 03, 2019 by MARCHE Claude 1.4.0 Hackathon
- 2
updated Mar 16, 2020
Consider upgrading the module `mach.float`

#341 · opened Jun 05, 2019 by MARCHE Claude 1.4.0 component: theories
- 1
updated Oct 23, 2020
Consider upgrading the module `mach.bv`

#340 · opened Jun 05, 2019 by MARCHE Claude 1.4.0 component: theories
- 0
updated Oct 23, 2020
Module `Tagset` should be documented

#338 · opened Jun 05, 2019 by MARCHE Claude 1.4.0 component: theories
- 0
updated Oct 23, 2020
List a module's dependencies

#318 · opened May 21, 2019 by DAILLER Sylvain 1.4.0 To be discussed
- 1
updated Mar 05, 2020
Too much ghostification?

#315 · opened May 07, 2019 by Benedikt Becker 1.4.0 Hackathon component: core
- 1
- 1
updated Mar 05, 2020