Issues · Why3 / why3 · GitLab

Bogomips

#494 · opened Jul 16, 2020 by Guillaume Melquiond feature wish
- 0
updated Jul 16, 2020
turn lemma into lemma function automatically

#493 · opened Jul 02, 2020 by Jean-Christophe Filliâtre feature wish
- 1
- 1
- 16
updated Jul 09, 2020
Localisation of errors during extraction of cloned module

#403 · opened Oct 31, 2019 by DAILLER Sylvain component: extraction feature wish
- 0
updated Oct 31, 2019
Warning on useless exception catching

#394 · opened Oct 16, 2019 by DAILLER Sylvain To be discussed feature wish
- 1
updated Nov 08, 2019
Why3 shell improvements 4 of 8 tasks completed

#333 · opened Jun 05, 2019 by François Bobot To be discussed component: session server feature wish
- 4
updated Jun 07, 2019
Use hypotheses when doing compile_match

#330 · opened May 29, 2019 by PARREIRA PEREIRA Mário José feature wish
- 5
updated Jun 03, 2019
Warn about trivially spurious conter-example

#256 · opened Jan 28, 2019 by François Bobot component: counterexample feature wish
- 5
updated Jan 07, 2020
Emit a warning when "old" does nothing in a specification

#251 · opened Dec 17, 2018 by Raphaël Rieu-Helft 1.4.0 To be discussed feature wish
- 1
- 4
updated Mar 05, 2020
Allow "use ghost Foo"

#246 · opened Nov 30, 2018 by Guillaume Melquiond To be discussed component: core component: extraction component: syntax feature wish
- 0
updated May 21, 2019
Interaction of smt encoding with meta

#196 · opened Oct 03, 2018 by DAILLER Sylvain component: transformations feature wish priority: low
- 2
updated Oct 04, 2018
Miscellaneous feature wishes for discussion

#176 · opened Aug 29, 2018 by Benedikt Becker feature wish
- 10
updated Aug 31, 2018
Extraction of absurd

#171 · opened Aug 29, 2018 by MARCHE Claude Hackathon feature wish
- 4
updated May 21, 2019
Commands request to be reorganized

#63 · opened Dec 19, 2017 by DAILLER Sylvain component: (graphical) user interface feature wish
- 1
updated May 30, 2018
additional manually-written configuration files

#55 · opened Dec 14, 2017 by CLOCHARD Martin feature wish
- 6
updated May 05, 2020
Tab completion in the command line

#39 · opened Nov 17, 2017 by Raphaël Rieu-Helft component: (graphical) user interface feature wish
- 1
updated Jun 18, 2019