Issues · Why3 / why3 · GitLab

Is the `reset_gc` workaround is still useful?

#478 · opened Apr 17, 2020 by Guillaume Melquiond 1.4.0 component: (graphical) user interface
- 3
updated Apr 20, 2020
Doc: document the any construct

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

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

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

#453 · opened Mar 02, 2020 by Guillaume Melquiond 1.4.0 component: build system
- 3
updated Mar 09, 2020
feature wish: 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
- 4
updated Mar 05, 2020
feature wish: warn about spurious `rec` keyword

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

#438 · opened Jan 28, 2020 by MARCHE Claude 1.4.0
- 9
updated Mar 26, 2020
SMT support for solvers which do not support quantifiers

#437 · opened Jan 28, 2020 by MARCHE Claude 1.4.0
- 1
- 0
updated Mar 05, 2020
Feature wish: local config file common to all Why3 commands

#430 · opened Jan 10, 2020 by MARCHE Claude 1.4.0
- 1
- 6
updated Mar 05, 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
- 1
updated Mar 05, 2020
Consider upgrading the module `mach.bv`

#340 · opened Jun 05, 2019 by MARCHE Claude 1.4.0
- 0
updated Mar 05, 2020
Module `Tagset` should be documented

#338 · opened Jun 05, 2019 by MARCHE Claude 1.4.0
- 0
updated Mar 05, 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
Add program equality on Boolean type

#306 · opened Apr 19, 2019 by MARCHE Claude 1.4.0
- 1
updated Mar 05, 2020
Migrate to Zarith

#298 · opened Apr 04, 2019 by François Bobot 1.4.0
- 1
- 7
updated Mar 05, 2020
smoke detection in ide

#297 · opened Apr 03, 2019 by DAILLER Sylvain 1.4.0 component: (graphical) user interface component: session
- 1
updated Mar 05, 2020
Add injectivity for type invariant

#287 · opened Mar 26, 2019 by François Bobot 1.4.0 Hackathon component: wp
- 7
updated Mar 05, 2020