Issues · Why3 / why3 · GitLab

recursive destruct

#20 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations
- 0
updated Oct 31, 2017
Commands request to be reorganized

#63 · opened Dec 19, 2017 by DAILLER Sylvain component: (graphical) user interface feature wish
- 1
updated May 30, 2018
Tab completion in the command line

#39 · opened Nov 17, 2017 by Raphaël Rieu-Helft component: (graphical) user interface feature wish
- 1
updated Dec 19, 2017
Refresh does not reload source view, causing loss of work

#30 · opened Nov 09, 2017 by Raphaël Rieu-Helft component: (graphical) user interface
- 5
updated Nov 10, 2017
range types should introduce an injectivity axiom

#97 · opened Mar 07, 2018 by MARCHE Claude
- 9
updated Mar 08, 2018
Simplification of array initializer for generated Why3 code

#99 · opened Mar 14, 2018 by DAILLER Sylvain component: transformations
- 0
updated Mar 14, 2018
Classify transformations

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

#22 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations priority: low
- 2
updated Dec 15, 2017
Error in transformation remove

#17 · opened Oct 31, 2017 by DAILLER Sylvain component: transformations
- 1
updated Nov 10, 2017
Confirmation before removing node in task tree

#8 · opened Oct 31, 2017 by MARCHE Claude component: (graphical) user interface
- 5
updated Mar 26, 2018
Apply coercions in replace parameters

#24 · opened Nov 07, 2017 by Raphaël Rieu-Helft component: transformations
- 1
updated Nov 17, 2017
Incorrect detection of effect interference during extraction, part 2

#206 · opened Oct 10, 2018 by Guillaume Melquiond component: extraction soundness
- 0
updated Oct 10, 2018
Finalize the use of prover alternative "counterexamples" to get counterexamples

#133 · opened Jun 13, 2018 by Guillaume Melquiond 1.2.0 component: (graphical) user interface component: drivers
- 0
updated Oct 08, 2018
Incorrect detection of effect interference during extraction

#200 · opened Oct 08, 2018 by Guillaume Melquiond component: extraction soundness
- 1
- 0
updated Oct 10, 2018
additional manually-written configuration files

#55 · opened Dec 14, 2017 by CLOCHARD Martin feature wish
- 5
updated May 23, 2018
why3 does not support symbolic links

#135 · opened Jun 14, 2018 by Guillaume Melquiond
- 1
updated Jun 14, 2018
why3extract library obsolete

#192 · opened Oct 02, 2018 by MARCHE Claude
- 0
updated Oct 02, 2018
Instantiation of mutable type symbol when cloning

#51 · opened Dec 14, 2017 by CLOCHARD Martin component: core
- 0
updated Dec 15, 2017
[@model_trace: <name>] labels redundant?

#108 · opened Apr 17, 2018 by Andrei Paskevich
- 4
updated Aug 14, 2018
usage of array.Array should not enforce polymorphic VCs

#193 · opened Oct 02, 2018 by MARCHE Claude
- 0
updated Oct 02, 2018