-
Notifications
You must be signed in to change notification settings - Fork 257
Issues: dafny-lang/dafny
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Potential Unsoundness in Prelude.bpl
during 3: execution of incorrect program
An bug in the verifier that allows Dafny to run a program that does not correctly implement its spec
introduced: pre-2009
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
logic
An inconsistency in Dafny's logic (e.g. in the Boogie prelude)
priority: not yet
Will reconsider working on this when we're looking for work
#4400
opened Aug 8, 2023 by
yizhou7
Imaps trigger selection
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
#1573
opened Nov 6, 2021 by
yizhou7
Refined module incurs seemingly unnecessary Z3 queries?
misc: question
Questions about Dafny's implementation. For beginner questions use "discussions" or StackOverflow
part: verifier
Translation from Dafny to Boogie (translator)
#1572
opened Nov 6, 2021 by
yizhou7
ProTip!
Mix and match filters to narrow down what you’re looking for.