Skip to content

Issues: verifast/verifast

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
86 Open 162 Closed
86 Open 162 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Feature request: support for time.h:time(NULL)
#35 opened May 16, 2016 by necto
2
boolean fixpoints
#5 opened Feb 13, 2014 by antonpohl
2
Idea: Filter assumptions by local variable
#7 opened Feb 18, 2014 by georgwaechter
1
VeriFast can’t correctly handle named fractions of char arrays that are part of a struct.
#12 opened Apr 11, 2016 by amintimany
Redux does not remember deductions (workaround: the note pattern)
#19 opened Apr 15, 2016 by necto
4
Accessing struct in struct produces internal error
#20 opened Apr 20, 2016 by DrSkunk
1
[generics] Can not find an exists chunk in the heap.
#22 opened Apr 20, 2016 by necto
1
Confusion between two function-types instantiations in an indirect call
#23 opened Apr 20, 2016 by necto
2
"#pragma once" is not parsed
#26 opened Apr 24, 2016 by jameshfisher
1
Strange type mismatch in malloc
#29 opened Apr 24, 2016 by jameshfisher
2
inconsistency after axiom instantiations for the 'nat' theory with redux solver
#32 opened May 8, 2016 by necto
1
Malloc struct special treatment inconsistent with the general scenario.
#33 opened May 11, 2016 by necto
3
GUI should remember selected font size
#1 opened Nov 19, 2013 by jensgerlach
1
Fatal error: assertion failed in redux while evaluating: "fst(head(nil))"
#34 opened May 12, 2016 by necto
2
Missing feature: generic predicate constructors
#36 opened May 20, 2016 by necto
3
VFide: Preprocessing error when including same header via different paths.
#38 opened Jun 28, 2016 by necto
support for array typedefs
#40 opened Aug 7, 2016 by necto
How to add two uint16_t numbers?
#41 opened Aug 24, 2016 by necto
5
Treatment of vf__ function name prefix is unsound
#45 opened Sep 7, 2016 by btj
Parser produces unhelpful error message near .gh include
#46 opened Sep 9, 2016 by JoergPfaehler
3
Allow real includes inside ghost headers
#47 opened Sep 9, 2016 by btj
Integer division overflow not detected
#53 opened Oct 21, 2016 by btj
Recursive fixpoint: Inductive argument is not detected as a switch pattern var.
#54 opened Oct 30, 2016 by necto
2
should_fail does not correctly restore the symbolic execution state
#57 opened Nov 8, 2016 by btj
1
Enforce effective types for specified-width integer types unsoundness
#504 opened May 15, 2024 by btj
ProTip! no:milestone will show everything without a milestone.