Issues · Why3 / why3 · GitLab

why3config --detect remove manually added prover

#418 · opened Dec 04, 2019 by DAILLER Sylvain
- CLOSED
- 1
- 0
updated Dec 05, 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
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
Impossible to build Why3 due to `parser/handcrafted.messages`

#407 · opened Nov 04, 2019 by Guillaume Melquiond 1.3.0 component: build system priority: blocker
- CLOSED
- 1
- 12
updated Nov 04, 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
`why3 ide` fails to start because of some missing files

#402 · opened Oct 29, 2019 by Guillaume Melquiond 1.3.0 component: (graphical) user interface priority: blocker
- CLOSED
- 0
updated Oct 29, 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
Extraction using a driver on the extracted file

#395 · opened Oct 17, 2019 by DAILLER Sylvain component: extraction
- CLOSED
- 2
updated Oct 17, 2019
Allow changing foreground color in source on error

#392 · opened Oct 14, 2019 by DAILLER Sylvain 1.3.0 Hackathon
- CLOSED
- 1
- 0
updated Nov 08, 2019
publicize and document docker images

#390 · opened Oct 04, 2019 by MARCHE Claude 1.3.0
- CLOSED
- 2
updated Oct 29, 2019
Rename `axiom` into `hypothesis` in task printing

#388 · opened Oct 04, 2019 by MARCHE Claude 1.3.0 Hackathon
- CLOSED
- 1
- 2
updated Nov 08, 2019
Support for Z3 4.8.5 and 4.8.6

#386 · opened Sep 26, 2019 by DAILLER Sylvain 1.2.1 component: drivers feature wish
- CLOSED
- 1
updated Oct 25, 2019
Choice of MLMPFR

#385 · opened Sep 22, 2019 by François Bobot Hackathon
- CLOSED
- 10
updated Nov 08, 2019
Named results shadow parameter names

#384 · opened Sep 18, 2019 by Raphaël Rieu-Helft Hackathon component: syntax
- CLOSED
- 1
- 7
updated Nov 12, 2019
Dynamically linking with Why3 should not change the signal handlers

#383 · opened Sep 11, 2019 by Valentin Perrelle 1.2.1
- CLOSED
- 2
updated Oct 29, 2019

Prev
1
2
3
4
5
…
Next
Last »