Issues · pub / frama-c · GitLab

validity of obligation from statement contract depends on whether the statement is enclosed in block {}

#625 · created Jun 01, 2015 by Jochen Burghardt bug wp
- CLOSED
- 3
updated Aug 05, 2021
\valid_read and assigns

#1479 · created Feb 08, 2013 by Jens Gerlach bug wp
- CLOSED
- 3
updated Feb 22, 2021
warning: Degenerated goal

#2206 · created Jan 07, 2011 by Stephane Duprat bug wp
- CLOSED
- 8
updated Feb 22, 2021
Warning for Axiom: From wp: Overloaded operator User defined axiom

#1319 · created Jul 28, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
warn on stderr about current restrictions, and list them in WP manual

#2043 · created Nov 04, 2011 by Jochen Burghardt enhancement wp
- CLOSED
- 1
updated Apr 15, 2021
Why3 warning

#387 · created Dec 16, 2016 by Jens Gerlach bug wp
- CLOSED
- 2
updated Apr 15, 2021
Why prover unable to validate few ASCL Annotations

#2055 · created Apr 16, 2012 by mantis-gitlab-migration bug wp
- CLOSED
- 6
updated Feb 22, 2021
workaround for coq-8.5.1 issue?

#403 · created Jun 16, 2016 by Jochen Burghardt enhancement wp
- CLOSED
- 7
updated Feb 22, 2021
WP 0.5 crashes with an Unbound label parameter 'Here'

#2039 · created Jan 11, 2012 by Mounir Assaf critical wp
- CLOSED
- 1
updated Feb 22, 2021
WP: Assertion not proved -> conversion from float to int issue?

#1031 · created Feb 27, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 9
updated Feb 22, 2021
WP computation is looping during variable analysis

#1483 · created Jan 31, 2013 by mantis-gitlab-migration bug wp
- CLOSED
- 6
updated Feb 22, 2021
Wp crashes on a recursive function

#58 · created Dec 28, 2018 by Frédéric Loulergue critical wp
- CLOSED
- 1
updated Feb 22, 2021
WP crashes on \floor builtin

#959 · created Oct 12, 2014 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 15, 2021
WP crashes on generation of PO for assigns clause (assertion failure in MemVar.ml)

#635 · created Jun 01, 2015 by Virgile Prevosto bug wp
- CLOSED
- 1
updated Feb 22, 2021
WP crashes on generation of PO for assigns clause (assertion failure in MemVar.ml)

#571 · created Jun 02, 2015 by Virgile Prevosto bug wp
- CLOSED
- 1
updated Feb 22, 2021
WP crashes with \pointer_comparable

#527 · created Feb 03, 2016 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 2021
WP detect a non-natural loop on a do-while(0) loop

#518 · created Aug 19, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 4
updated Apr 15, 2021
WP doesn't warn about volatile variables

#1024 · created Jun 06, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Apr 15, 2021
[wp] failure: not an integer (Blob)

#1925 · created Dec 15, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 2021
[WP] Failure to verify range information after bitwise and on signed integers

#2589 · created Jan 03, 2022 by GuerricChupin wp
- CLOSED
- 4
updated Jan 11, 2022

Prev
1
…
7
8
9
10
11
12
13
Next