Skip to content

Issues: verus-lang/verus

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

101 Open 379 Closed
101 Open 379 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

Field-less enums: an issue potentially introduced with the version bump to 1.79
#1339 opened Nov 8, 2024 by y1ca1
1
internal error: CastToInteger should have been removed before here
#1337 opened Nov 5, 2024 by jonhnet
get_impl_paths/recursion-checking does not handle Sync/Send inference
#1335 opened Nov 5, 2024 by tjhance
1
const in array types causes rustc error
#1334 opened Nov 5, 2024 by tjhance
@utaal
Failed precondition error message doesn't point to source code
#1333 opened Nov 3, 2024 by nwtnni
1
Please avoid the after_crate_root_parsing driver callback
#1331 opened Oct 31, 2024 by bjorn3
1
ill-typed AIR code, when using reveal
#1327 opened Oct 30, 2024 by zeldovich
external_body consts panic the verifier
#1322 opened Oct 29, 2024 by matthias-brun
1 task
buggy behavior for tuple clone
#1312 opened Oct 18, 2024 by tjhance
1
lifetime-generate can't handle Arc/Rc/Box being used as receiver
#1311 opened Oct 17, 2024 by tjhance
[lifetime-generate] Trait bound is not satisfied (external impl of a trait)
#1310 opened Oct 17, 2024 by BLepers
1
external_trait_specification: consistency check causes panic
#1309 opened Oct 17, 2024 by BLepers
1
lifetime-generate wrongly ignored assignment to ghost field of tracked struct soundness
#1298 opened Oct 4, 2024 by tjhance
2
Crash on assertion failure: generic_bounds.len() == 0
#1296 opened Oct 2, 2024 by zhengyao-lin
Issue in lifetime checking with imported Verus crates blocking an issue that blocks progress of a Verus project
#1288 opened Sep 29, 2024 by zhengyao-lin
@Chris-Hawblitzel
5
Issue with fold_right and polymorphism
#1287 opened Sep 27, 2024 by amarshah1
Verus panics because rlimit-count is not in the map
#1282 opened Sep 26, 2024 by WeetHet
Issue with by (compute) with quantifiers causes Rust to panic
#1277 opened Sep 20, 2024 by amarshah1
1
cannot recognize constants as an exec value across multi crates
#1275 opened Sep 20, 2024 by rikosellic
1
Unexpected error "Verus currently only supports casts from integer types"
#1271 opened Sep 19, 2024 by jonhnet
Is there a way to pass a named spec function as a spec_fn argument?
#1266 opened Sep 13, 2024 by parno
@Chris-Hawblitzel
5
Can not use proof function call expression as the argument of proof function
#1265 opened Sep 13, 2024 by rikosellic
const function (with associated spec) cannot be used to declare constants
#1264 opened Sep 12, 2024 by chrihop
Verus panics for external_fn_specification used on default trait method impl
#1262 opened Sep 10, 2024 by BLepers
1
thread 'rustc' panicked at vir/src/traits.rs:377:58
#1261 opened Sep 10, 2024 by BLepers
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.