Issues · Why3 / why3 · GitLab

subst should remove declarations

#16 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations priority: medium
- CLOSED
- 4
updated May 16, 2018
destruct_alg improvement

#15 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations priority: high
- CLOSED
- 2
updated Nov 15, 2017
Add simpl

#14 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations
- CLOSED
- 2
updated Jan 05, 2018
Compute inside an hypothesis

#13 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations
- CLOSED
- 1
updated Jan 05, 2018
Implement detached nodes

#12 · opened Oct 31, 2017 by DAILLER Sylvain component: session
- CLOSED
- 1
updated Nov 24, 2017
Need for automatic focus on Message tab

#11 · opened Oct 31, 2017 by MARCHE Claude component: (graphical) user interface
- CLOSED
- 1
updated Nov 10, 2017
Editing proof scripts for non interactive provers

#10 · opened Oct 31, 2017 by MARCHE Claude component: (graphical) user interface
- CLOSED
- 1
updated Mar 07, 2018
Uninstalled prover policies

#9 · opened Oct 31, 2017 by MARCHE Claude component: (graphical) user interface priority: high
- CLOSED
- 1
updated May 28, 2018
Confusing error message for floating-point literals

#7 · opened Oct 24, 2017 by Guillaume Melquiond
- CLOSED
- 0
updated Nov 06, 2017
Commands such as remove and obsolete should be allowed when several nodes are selected

#5 · opened Oct 19, 2017 by Guillaume Melquiond component: session server
- CLOSED
- 2
updated Nov 16, 2017
Bisection should be provided by the contextual menu

#4 · opened Oct 19, 2017 by Guillaume Melquiond component: (graphical) user interface
- CLOSED
- 0
updated Nov 10, 2017
Next unproven node id not working when adding a transformation

#3 · opened Oct 19, 2017 by DAILLER Sylvain
- CLOSED
- 1
updated Feb 02, 2018
Commands such as replay and clean should be contextual

#2 · opened Oct 19, 2017 by Guillaume Melquiond component: session server priority: blocker
- CLOSED
- 1
updated Nov 10, 2017
editing does not work for non-interactive provers

#1 · opened Oct 19, 2017 by MARCHE Claude
- CLOSED
- 1
updated Oct 31, 2017