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

Enforce effective types for specified-width integer types unsoundness
#504 opened May 15, 2024 by btj updated May 15, 2024
Ubuntu 22.04 LTS: setup-build.sh Unable to locate package libgtksourceview2.0-dev
#302 opened Jul 21, 2022 by stephengaito updated Feb 5, 2024
8
Pointer arithmetic assertion not hold with another pointer arith assertion as precondition
#380 opened Oct 23, 2023 by farmerzhang1 updated Oct 23, 2023
1
Unsoundness: const declared objects are writable
#366 opened Jul 30, 2023 by docprofsky updated Jul 30, 2023
Fix C++ inheritance issues
#361 opened May 22, 2023 by btj updated Jun 2, 2023
@NielsMommen
Parse errors for C expressions with unary operators
#359 opened Mar 9, 2023 by MartinSpiessl updated Mar 9, 2023
[FreeRTOS] Parse error for nested unions or structs
#341 opened Nov 14, 2022 by tobireinhard updated Nov 14, 2022
[FreeRTOS] Parse error for attributes
#340 opened Nov 14, 2022 by tobireinhard updated Nov 14, 2022
[FreeRTOS] Parse error for fixed size array typedefs
#339 opened Nov 14, 2022 by tobireinhard updated Nov 14, 2022
[FreeRTOS] Parse error due to order of type qualifiers long and unsigned
#338 opened Nov 14, 2022 by tobireinhard updated Nov 14, 2022
[FreeRTOS] (Potentially) Non-pure runtime assertions
#337 opened Nov 14, 2022 by tobireinhard updated Nov 14, 2022
4
Bug right shift
#323 opened Oct 21, 2022 by vranckxrobin updated Oct 25, 2022
1
Request for support for this error message Taking the address of this expression is not supported.
#320 opened Oct 6, 2022 by eleehiga updated Oct 6, 2022
Request for support for this error message: VeriFast does not currently support taking the bitwise complement (~) of an unsigned integer except as part of a bitwise AND (x & ~y).
#319 opened Oct 6, 2022 by eleehiga updated Oct 6, 2022
A union type with a body is not supported in this position.
#313 opened Sep 15, 2022 by eleehiga updated Sep 15, 2022
Superfluous limits check on cast
#308 opened Aug 17, 2022 by markrtuttle updated Aug 18, 2022
3
z3v4.5+SMTLib (experimental) output is not verified by z3 command line
#307 opened Aug 4, 2022 by stephengaito updated Aug 9, 2022
1
Request for support for local function pointer declarations
#291 opened Jun 24, 2022 by eleehiga updated Aug 5, 2022
aarch64: bitops.c :: int_of_bits_of_int : z3 can not prove: ensures x == int_of_bits(fst(bits_of_int(x, n)), snd(bits_of_int(x, n)))
#304 opened Aug 2, 2022 by stephengaito updated Aug 5, 2022
3
Request for support for recursive inclusions
#294 opened Jun 27, 2022 by eleehiga updated Jul 15, 2022
Parse error with last semicolon in a c file
#297 opened Jun 29, 2022 by eleehiga updated Jun 29, 2022
Parse errors that are false positives and chunks not added to symbolic heap correctly
#275 opened May 27, 2022 by eleehiga updated Jun 14, 2022
33
Error message for bad &*& could be improved.
#280 opened Jun 6, 2022 by anders-was-here updated Jun 6, 2022
Stack overflow when true-biased branches are heavily nested
#249 opened Nov 6, 2021 by jpdoyle updated Nov 6, 2021
6
Local variable display breaks when expressions are large
#239 opened Aug 2, 2021 by jpdoyle updated Aug 3, 2021
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.