Issues · Why3 / why3 · GitLab

Syntax of drivers is not documented

#204 · opened Oct 10, 2018 by DAILLER Sylvain documentation
- 0
updated Oct 10, 2018
Document syntax of clone

#202 · opened Oct 10, 2018 by DAILLER Sylvain documentation
- 0
updated Nov 13, 2018
Document extraction of clonable/cloned modules

#201 · opened Oct 09, 2018 by MARCHE Claude
- 2
updated Jan 28, 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
usage of array.Array should not enforce polymorphic VCs

#193 · opened Oct 02, 2018 by MARCHE Claude
- 0
updated Oct 02, 2018
Miscellaneous feature wishes for discussion

#176 · opened Aug 29, 2018 by BECKER Benedikt 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
Cloning function with bad ghost status raises Invalid_argument("Expr.let_rec")

#168 · opened Aug 24, 2018 by PARREIRA PEREIRA Mário José 1.3.0 Hackathon
- 7
updated Nov 08, 2019
"use" in drivers is done too late

#156 · opened Jul 04, 2018 by Andrei Paskevich
- 11
updated Jul 23, 2018
why3 does not support symbolic links

#135 · opened Jun 14, 2018 by Guillaume Melquiond
- 2
updated Nov 29, 2019
range types should introduce an injectivity axiom

#97 · opened Mar 07, 2018 by MARCHE Claude
- 9
updated Mar 26, 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 13, 2019
warning when cloning module containing only "val"s as abstract symbols

#52 · opened Dec 14, 2017 by CLOCHARD Martin
- 0
updated Aug 29, 2018
Instantiation of mutable type symbol when cloning

#51 · opened Dec 14, 2017 by CLOCHARD Martin component: core
- 0
updated Jan 28, 2019
Invalid_argument('Expr.let_rec") in clone declarations

#42 · opened Nov 22, 2017 by Raphaël Rieu-Helft 1.3.0 Hackathon component: core
- 5
updated Nov 08, 2019
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
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
Sequence literals

#27 · opened Nov 09, 2017 by Guillaume Melquiond To be discussed component: core component: syntax
- 0
updated May 10, 2019
Classify transformations

#21 · opened Oct 31, 2017 by DAILLER Sylvain component: (graphical) user interface
- 0
updated Oct 31, 2017