Issues · Why3 / why3 · GitLab

why3 commands not recognized on Cygwin+MinGW installation

#445 · opened Feb 18, 2020 by Ghost User 1.3.0 component: tools priority: high
- CLOSED
- 11
updated Feb 25, 2020
Shape pairing is not stable

#276 · opened Feb 18, 2019 by Guillaume Melquiond 1.3.0 To be discussed component: session priority: high
- CLOSED
- 9
updated Oct 25, 2019
Strategies should use split_vc instead of split_all_full

#282 · opened Mar 01, 2019 by MARCHE Claude 1.3.0 component: graphical user interface priority: high
- CLOSED
- 1
- 0
updated Apr 09, 2019
transformation split_intros_goal_wp always produces a new subgoal

#117 · opened May 11, 2018 by Jean-Christophe Filliâtre priority: high
- CLOSED
- 3
updated Aug 29, 2018
Uninstalled prover policies

#9 · opened Oct 31, 2017 by MARCHE Claude component: graphical user interface priority: high
- CLOSED
- 1
updated May 28, 2018
simplify_trivial_quantification kills some goals

#120 · opened May 22, 2018 by Raphaël Rieu-Helft component: transformations priority: high
- CLOSED
- 4
updated May 22, 2018
Reloading in the IDE does not reload library modules

#64 · opened Dec 20, 2017 by Raphaël Rieu-Helft priority: high
- CLOSED
- 1
updated Feb 16, 2018
Incorrect ident parsing in transformations

#71 · opened Jan 08, 2018 by Raphaël Rieu-Helft component: transformations priority: high
- CLOSED
- 3
updated Feb 02, 2018
Warnings not shown anymore in IDE

#32 · opened Nov 10, 2017 by MARCHE Claude component: graphical user interface priority: high
- CLOSED
- 0
updated Jan 19, 2018
Conflict between strategies with the same shortcut

#37 · opened Nov 16, 2017 by Raphaël Rieu-Helft component: graphical user interface priority: high
- CLOSED
- 1
updated Nov 24, 2017
Apply with x

#19 · opened Oct 31, 2017 by DAILLER Sylvain Nov 15, 2017 component: transformations priority: high
- CLOSED
- 2
updated Nov 16, 2017
destruct_alg improvement

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