Issues · Why3 / why3 · GitLab

Incorrect order of variables in error message of transformation `apply`

#224 · opened Oct 25, 2018 by BECKER Benedikt
- CLOSED
- 4
updated Oct 29, 2018
Precedence of extraction driver symbols

#223 · opened Oct 24, 2018 by Raphaël Rieu-Helft component: drivers feature wish
- CLOSED
- 1
- 0
updated Mar 05, 2019
syntax function in extraction drivers

#222 · opened Oct 24, 2018 by Jean-Christophe Filliâtre Hackathon
- CLOSED
- 1
- 1
updated Nov 13, 2019
improve error messages for `apply` and similar transformations

#221 · opened Oct 23, 2018 by MARCHE Claude
- CLOSED
- 1
updated Dec 05, 2018
print command for a constructor of inductive predicate should print only the corresponding clause

#220 · opened Oct 23, 2018 by MARCHE Claude
- CLOSED
- 1
- 1
updated Nov 13, 2018
transformation `apply` and similar ones shuold display the name of missing arguments

#219 · opened Oct 23, 2018 by MARCHE Claude
- CLOSED
- 2
- 0
updated Nov 13, 2018
Switch CI to Opam 2

#217 · opened Oct 19, 2018 by Guillaume Melquiond component: continuous integration
- CLOSED
- 1
- 0
updated Nov 06, 2018
Add an 'injection' transformation

#216 · opened Oct 19, 2018 by MARCHE Claude
- CLOSED
- 5
updated Nov 08, 2018
Type mismatch when cloning

#214 · opened Oct 18, 2018 by Ricardo Correia 1.1.1 component: core soundness
- CLOSED
- 1
updated Nov 09, 2018
Imprecise error for record with invariant

#213 · opened Oct 18, 2018 by DAILLER Sylvain
- CLOSED
- 5
updated Dec 04, 2019
Partial types

#212 · opened Oct 16, 2018 by Raphaël Rieu-Helft feature wish
- CLOSED
- 3
updated Oct 24, 2018
--list-transform should print all transformations

#210 · opened Oct 12, 2018 by DAILLER Sylvain component: transformations
- CLOSED
- 0
updated Nov 13, 2018
Support for Z3 4.7.1

#209 · opened Oct 12, 2018 by DAILLER Sylvain 1.1.0
- CLOSED
- 1
updated Oct 15, 2018
Shape and checksum should use the same task information

#208 · opened Oct 12, 2018 by DAILLER Sylvain component: session
- CLOSED
- 2
updated Oct 12, 2018
why3 + alt-ergo fail on unfolding a predicate

#207 · opened Oct 11, 2018 by Pierre Courtieu
- CLOSED
- 4
updated Oct 11, 2018
Incorrect detection of effect interference during extraction, part 2

#206 · opened Oct 10, 2018 by Guillaume Melquiond 1.2.0 component: extraction soundness
- CLOSED
- 0
updated Mar 04, 2019
Get rid of clause `syntax converter` in drivers

#205 · opened Oct 10, 2018 by MARCHE Claude
- CLOSED
- 1
- 1
updated Oct 16, 2018
at/old operator never used should perhaps be a warning

#203 · opened Oct 10, 2018 by DAILLER Sylvain
- CLOSED
- 5
updated Oct 12, 2018
Incorrect detection of effect interference during extraction

#200 · opened Oct 08, 2018 by Guillaume Melquiond 1.1.1 component: extraction soundness
- CLOSED
- 1
- 1
updated Oct 23, 2018
Roadmap Why3 1.2.0 7 of 7 tasks completed

#199 · opened Oct 08, 2018 by MARCHE Claude 1.2.0
- CLOSED
- 1
updated Feb 11, 2019

« First
Prev
…
4
5
6
7
8
9
10
11
12
…
Next
Last »