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
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

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