Issues · Why3 / why3 · GitLab

strings, chars, and OCaml

#415 · opened Nov 27, 2019 by Jean-Christophe Filliâtre
- CLOSED
- 1
- 2
updated Dec 09, 2019
Bad contract for local function inside recursive functions

#414 · opened Nov 26, 2019 by DAILLER Sylvain component: core
- CLOSED
- 5
updated Nov 26, 2019
needlessly long pathnames from sessions

#413 · opened Nov 25, 2019 by Johannes Kanig
- CLOSED
- 1
- 11
updated Nov 29, 2019
Shadowing (e.g., mutable variables) makes sessions unstable

#412 · opened Nov 22, 2019 by Guillaume Melquiond To be discussed component: session
- 3
updated Nov 29, 2019
add realizations for modules in library fmap

#410 · opened Nov 08, 2019 by Jean-Christophe Filliâtre
- 0
updated Nov 08, 2019
remove deprecated library appmap and impmap

#409 · opened Nov 08, 2019 by Jean-Christophe Filliâtre
- 0
updated Nov 08, 2019
Make bench/ce in CI more stable

#408 · opened Nov 07, 2019 by DAILLER Sylvain component: continuous integration component: counterexample
- CLOSED
- 1
- 1
updated Nov 15, 2019
avoid jumping after deleting a detached subgoal

#406 · opened Nov 03, 2019 by LAWALL Julia Hackathon
- CLOSED
- 1
- 0
updated Nov 12, 2019
Hide does not work

#405 · opened Oct 31, 2019 by DAILLER Sylvain component: transformations
- CLOSED
- 1
- 0
updated Nov 04, 2019
Theory "string.String" is unsound

#404 · opened Oct 31, 2019 by Guillaume Melquiond 1.3.0 component: drivers component: theories soundness
- CLOSED
- 1
- 9
updated Nov 12, 2019
Localisation of errors during extraction of cloned module

#403 · opened Oct 31, 2019 by DAILLER Sylvain component: extraction feature wish
- 0
updated Oct 31, 2019
set logic to ALL_SUPPORTED for CVC4

#401 · opened Oct 28, 2019 by MARCHE Claude
- 0
updated Oct 28, 2019
Improve shape structures

#400 · opened Oct 25, 2019 by Guillaume Melquiond component: core
- 0
updated Oct 25, 2019
`apply with` and `rewrite with` should give more details (e.g., quantifier names) when the number of arguments do not match

#399 · opened Oct 25, 2019 by Guillaume Melquiond component: transformations
- CLOSED
- 1
- 2
updated Oct 28, 2019
Modifying source in IDE should remove error marks

#398 · opened Oct 25, 2019 by Guillaume Melquiond 1.3.0 Hackathon component: (graphical) user interface
- CLOSED
- 1
- 0
updated Nov 08, 2019
Allow modifying colors directly in IDE

#397 · opened Oct 25, 2019 by Guillaume Melquiond Hackathon component: (graphical) user interface
- CLOSED
- 1
- 0
updated Nov 10, 2019
Fix module cloning with respect to effects

#396 · opened Oct 25, 2019 by Guillaume Melquiond 1.3.0 component: core soundness
- 0
updated Oct 25, 2019
Extraction using a driver on the extracted file

#395 · opened Oct 17, 2019 by DAILLER Sylvain component: extraction
- CLOSED
- 2
updated Oct 17, 2019
Warning on useless exception catching

#394 · opened Oct 16, 2019 by DAILLER Sylvain To be discussed feature wish
- 1
updated Nov 08, 2019
type invariant preservation question

#393 · opened Oct 16, 2019 by DAILLER Sylvain Hackathon component: syntax component: wp
- 9
updated Nov 27, 2019

« First
Prev
1
2
3
4
5
6
7
…
Next
Last »