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

commenting out a '\' with "//" crashes vf
#251 by rubenkindt was closed Jun 6, 2022
1
Where is //@ close_module(); declared in Verifast
#285 by eleehiga was closed Jun 11, 2022
8
Error message Expressions of type 'double' are not yet supported as arguments for a varargs function.
#284 by eleehiga was closed Jun 11, 2022
2
How to convert struct symbol_t[] to a pointer
#282 by eleehiga was closed Jun 8, 2022
5
What is some in Verifast?
#279 by eleehiga was closed Jun 6, 2022
7
When building Verifast in Linux Error: Unbound module Util
#277 by eleehiga was closed Jun 1, 2022
3
Feature request: predicates for fixed-size integer types
#276 by jpdoyle was closed May 28, 2022
3
Failing to import costum javaspec file
#274 by ajccosta was closed May 27, 2022
3
Unexpected "No such type parameter"
#271 by jdmota was closed May 23, 2022
4
Failing to build from source despite following Linux README
#267 by rishabh246 was closed Jun 2, 2022
3
Failing to build from source following Linux README.
#266 by rishabh246 was closed Apr 13, 2022
1
Array subscripting bypasses overflow check with int* type
#259 by dc-mak was closed Jan 26, 2022
3
vfide crashes in caml_memprof_handle_postponed_exn
#252 by btj was closed Nov 26, 2021
1
3
macOS binary package: points to /usr/local/opt/libffi/lib/libffi.7.dylib
#220 by btj was closed Nov 23, 2020
Update build instructions
#248 by btj was closed Nov 24, 2021
2
@NielsMommen
Unsoundness: C preprocessing parses ints before concatenating
#247 by jpdoyle was closed Nov 3, 2021
Verifying C++ code fails due to missing LLVM dependencies
#246 by btj was closed Nov 23, 2021
2
@NielsMommen
6
C++: disallow calling a method on null?
#245 by btj was closed Nov 24, 2021
2
@NielsMommen
1
"Parse error: Macro parameter expected" with variadic macros
#244 by DestyNova was closed Sep 4, 2021
2
~10,000-line files cause index out of bounds in vfide
#241 by jpdoyle was closed Aug 6, 2021
Redux incompleteness involving inequality terms
#238 by costaseco was closed Jun 8, 2021
4
Failed to build following Linux README
#237 by emptylambda was closed Apr 19, 2022
2
Unable to run verifast on MacOS
#231 by markrtuttle was closed Apr 4, 2021
4
Strange typechecking problem on lemma return values
#226 by jpdoyle was closed Feb 6, 2021
GitHub Actions macOS build fails
#223 by btj was closed Dec 28, 2020
ProTip! Exclude everything labeled bug with -label:bug.