Issues · Why3 / why3 · GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

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
Add support for `string` type and module `io` in `why3 execute`

#555 · opened Feb 19, 2021 by MARCHE Claude 1.5.0
- 1
updated Feb 19, 2021
Document the modulo `io`, document printing capabilities

#554 · opened Feb 19, 2021 by MARCHE Claude 1.5.0
- 0
updated Feb 19, 2021
Module `mach.bv` should provide purely bitvector-based pre-conditions

#551 · opened Feb 09, 2021 by MARCHE Claude 1.5.0 component: theories
- 1
updated Feb 12, 2021

Prev
1
2
3
4
5
…
28
Next