Issues · Why3 / why3 · GitLab

Support for Z3 4.7.1

#209 · opened Oct 12, 2018 by DAILLER Sylvain 1.1.0
- CLOSED
- 1
updated Oct 15, 2018
New split_vc sometimes crashes

#195 · opened Oct 02, 2018 by Raphaël Rieu-Helft 1.1.0 component: transformations
- CLOSED
- 4
updated Oct 05, 2018
Unhandled exceptions should be displayed more prominently in IDE

#190 · opened Sep 28, 2018 by Raphaël Rieu-Helft 1.1.0
- CLOSED
- 1
- 0
updated Oct 02, 2018
Fix encoding of maps

#189 · opened Sep 28, 2018 by Guillaume Melquiond 1.1.0 component: drivers
- CLOSED
- 12
updated Oct 01, 2018
Modify split_vc to not use simplify_trivial_quantification

#188 · opened Sep 28, 2018 by Raphaël Rieu-Helft 1.1.0 component: transformations
- CLOSED
- 1
- 0
updated Oct 04, 2018
Unsound termination check

#182 · opened Sep 11, 2018 by Guillaume Melquiond 1.1.0 component: core priority: blocker soundness
- CLOSED
- 6
updated Oct 05, 2018
Invalid extraction of disjunction patterns

#181 · opened Sep 11, 2018 by Benedikt Becker 1.1.0 component: extraction
- CLOSED
- 0
updated Sep 14, 2018
Release of Why3 1.1.0 25 of 26 tasks completed

#177 · opened Aug 29, 2018 by Guillaume Melquiond 1.1.0
- CLOSED
- 0
updated Oct 19, 2018
Unknown syntax error

#172 · opened Aug 29, 2018 by Benedikt Becker 1.1.0 component: syntax priority: low
- CLOSED
- 1
- 4
updated Sep 20, 2019
non val logic symbols should not be usable in programs

#166 · opened Aug 24, 2018 by MARCHE Claude 1.1.0
- CLOSED
- 3
updated Aug 30, 2018
Handling of concurrent events in the server

#159 · opened Jul 10, 2018 by Guillaume Melquiond 1.1.0 component: server
- CLOSED
- 1
updated Sep 14, 2018
controller_itp : Whyconf.CPU_duplicate not handled

#157 · opened Jul 06, 2018 by François Bobot 1.1.0
- CLOSED
- 7
updated Sep 10, 2018
custom Menhir error reporting does not work in TryWhy3

#150 · opened Jun 27, 2018 by Andrei Paskevich 1.1.0
- CLOSED
- 1
- 2
updated Sep 20, 2019
Flocq 3.0.0 cannot be recognized

#149 · opened Jun 25, 2018 by Ghost User 1.1.0
- CLOSED
- 2
updated Sep 04, 2018
Session is always considered as outdated on startup

#147 · opened Jun 22, 2018 by Guillaume Melquiond 1.1.0 component: (graphical) user interface
- CLOSED
- 0
updated Sep 04, 2018
bisect should not raise Invalid_argument

#134 · opened Jun 13, 2018 by Guillaume Melquiond 1.1.0 component: session server
- CLOSED
- 2
updated Oct 04, 2018
missing encoding of polymorphism

#127 · opened Jun 01, 2018 by Jean-Christophe Filliâtre 1.1.0
- CLOSED
- 1
updated Oct 16, 2018
support for CVC4 1.8

#502 · opened Sep 17, 2020 by MARCHE Claude 1.4.0
- 0
updated Sep 17, 2020
dependency issues and annoying compilation warning with the CFG parser

#501 · opened Sep 14, 2020 by MARCHE Claude 1.4.0
- CLOSED
- 1
- 0
updated Sep 17, 2020
Compile error on OpenBSD

#499 · opened Aug 28, 2020 by HONDET Gabriel 1.3.2 component: server
- CLOSED
- 7
updated Sep 14, 2020

Prev
1
2
3
4
5
…
26
Next