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
remove deprecated library appmap and impmap

#409 · opened Nov 08, 2019 by Jean-Christophe Filliâtre
- CLOSED
- 0
updated Feb 11, 2020
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
`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
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
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
Why3 is incompatible with OCaml ≥ 4.09

#382 · opened Sep 11, 2019 by ANGELETTI Florian
- CLOSED
- 1
- 0
updated Oct 02, 2019
Make sure that Str is not used in places that trywhy3 uses

#381 · opened Sep 05, 2019 by Raphaël Rieu-Helft Hackathon component: trywhy3
- CLOSED
- 1
- 2
updated Nov 14, 2019
List transformation with arguments and documentation

#380 · opened Sep 03, 2019 by DAILLER Sylvain component: transformations
- CLOSED
- 17
updated Nov 22, 2019
IDE source view is not updated on parsing/typing error

#379 · opened Aug 30, 2019 by Raphaël Rieu-Helft
- CLOSED
- 1
- 2
updated Sep 02, 2019
On session reload, proved goals without any transformation are not marked as obsolete

#378 · opened Aug 26, 2019 by Mário Pereira
- CLOSED
- 1
- 2
updated Sep 02, 2019
Why3 should not introduce spaces in identifiers

#377 · opened Aug 22, 2019 by DAILLER Sylvain component: transformations
- CLOSED
- 1
- 1
updated Aug 23, 2019
eliminate_if transformation explodes

#374 · opened Aug 20, 2019 by Johannes Kanig Hackathon
- CLOSED
- 2
- 14
updated Dec 10, 2019
Simplify extraction of C for loops

#373 · opened Aug 03, 2019 by Raphaël Rieu-Helft component: extraction
- CLOSED
- 1
- 0
updated Sep 06, 2019

Prev
1
…
4
5
6
7
8
9
10
11
12
…
21
Next