Issues · pub / frama-c

New issue

Wrong WP computation when calling a function with behaviors (assigns problem ?)

#1883 · created Oct 20, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021
Wrong [\valid(p)] outside the pointed variable scope

#1358 · created Oct 17, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021
Problems when using ptests.

#2105 · created Oct 12, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
Unexpected label Old in pre : ignored annotation

#1350 · created Oct 05, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 12
updated Feb 22, 2021
wp-plugin does not generate coq *.v goals.

#2116 · created Aug 15, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Feb 22, 2021
Wp rises an error in if you use struct and long long type, with wp-rte option

#2117 · created Aug 12, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Feb 22, 2021
Support of \block_length

#1928 · created Jul 29, 2011 by Patrick Baudin bug wp
- CLOSED
- 1
updated Feb 22, 2021
Proof obligations of lemma properties

#1972 · created Jul 28, 2011 by Patrick Baudin bug wp
- CLOSED
- 1
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
ACSL builtins

#1929 · created May 10, 2011 by Loïc Correnson enhancement wp
- CLOSED
- 2
updated Feb 22, 2021
initial value of structures

#2149 · created Apr 14, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
initial value of strings

#1874 · created Apr 14, 2011 by Patrick Baudin enhancement wp
- CLOSED
- 5
updated Feb 22, 2021
time too long even with -wp-timeout 1

#1875 · created Apr 13, 2011 by Patrick Baudin bug wp
- CLOSED
- 4
updated Feb 22, 2021
initializer completion

#1762 · created Apr 12, 2011 by Patrick Baudin bug wp
- CLOSED
- 4
updated Feb 22, 2021
Hypothesis missing about pointed datatypes

#2147 · created Apr 08, 2011 by Patrick Baudin bug wp
- CLOSED
- 0
updated Feb 22, 2021
Post-state of statement spec

#1912 · created Mar 25, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 6
updated Aug 05, 2021
Unexpected error (Failure("int_of_string")).

#2210 · created Feb 02, 2011 by John Regher critical wp
- CLOSED
- 2
updated Feb 22, 2021
cannot proof the rte assertion in the loop for

#2246 · created Feb 01, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021
Unexpected error (Stack overflow) during WP

#2205 · created Jan 10, 2011 by Benjamin Monate critical wp
- CLOSED
- 4
updated Feb 22, 2021
warning: Degenerated goal

#2206 · created Jan 07, 2011 by Stephane Duprat bug wp
- CLOSED
- 8
updated Feb 22, 2021