Issues · Why3 / why3 · GitLab

type invariant preservation question

#393 · opened Oct 16, 2019 by DAILLER Sylvain Hackathon component: syntax component: wp
- 9
updated Nov 27, 2019
Cloning: please improve syntax and error messages

#387 · opened Oct 03, 2019 by MARCHE Claude 1.4.0 Hackathon
- 2
updated Mar 16, 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 injectivity for type invariant

#287 · opened Mar 26, 2019 by François Bobot 1.5.0 Hackathon component: wp
- 7
updated Feb 05, 2021
Extraction of absurd

#171 · opened Aug 29, 2018 by MARCHE Claude Hackathon component: extraction feature wish
- 4
updated Oct 23, 2020
Refresh does not reload source view, causing loss of work

#30 · opened Nov 09, 2017 by Raphaël Rieu-Helft Hackathon component: graphical user interface
- 5
updated Oct 25, 2019