Skip to content

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.

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
1,046 Open 1,614 Closed
1,046 Open 1,614 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

/trace output is less helpful than it could be due to buffering
#10 by 0xabu was closed Jul 15, 2016 updated Jul 15, 2016
5
Dafny's occurs-check for type synonyms can be tricked
#12 by plaidfinch was closed Aug 5, 2016 updated Aug 5, 2016
@plaidfinch
Is it a bug about assert?
#31 by Gohan was closed Sep 14, 2016 updated Sep 14, 2016
1
Some files still have Ms-PL licence headers
#54 by bbarenblat was closed Nov 4, 2016 updated Nov 4, 2016
2
datatype update error
#60 by jonnadal was closed Nov 16, 2016 updated Nov 16, 2016
2
value does not satisfy subset constraints in trivial map comprehension expression
#27 by 0xabu was closed Oct 3, 2016 updated Nov 18, 2016
@qunyanm
inconsistent Boogie translation of parameters to bitvector operations such as << breaks verification
#28 by 0xabu was closed Oct 6, 2016 updated Nov 18, 2016
@qunyanm
Arrays, subset types, and generics
#29 by parno was closed Oct 3, 2016 updated Nov 18, 2016
@qunyanm
2
F5 in VS extension discards cached results
#30 by jaylorch was closed Nov 16, 2016 updated Nov 18, 2016
@qunyanm
6
Dafny extension verification crashes when tuple#2 is used.
#38 by jaylorch was closed Oct 6, 2016 updated Nov 18, 2016
@qunyanm
Assertion failure in CompatibleDecreasesTypes with bv32 type (round 2)
#39 by 0xabu was closed Oct 6, 2016 updated Nov 18, 2016
@qunyanm
Dafny can't see basic expression substitution; bad interaction between subset and user-defined types?
#40 by 0xabu was closed Oct 7, 2016 updated Nov 18, 2016
@qunyanm
Dafny can't see fact about subset type in calc
#41 by jaylorch was closed Oct 7, 2016 updated Nov 18, 2016
@qunyanm
6
warnShadowing attribute doesn't work on methods/lemmas
#42 by parno was closed Oct 10, 2016 updated Nov 18, 2016
@qunyanm
Bad compilation of class named System
#43 by RustanLeino was closed Oct 27, 2016 updated Nov 18, 2016
@qunyanm
Sequences, generics, and type inference
#44 by parno was closed Oct 21, 2016 updated Nov 18, 2016
@qunyanm
Reusing a module import name in a nested module causes crash
#45 by RustanLeino was closed Oct 24, 2016 updated Nov 18, 2016
@qunyanm
Dafny tries to re-verify lemma from abstract module when refined in another file kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
#46 by jaylorch was closed Oct 20, 2016 updated Nov 18, 2016
1
@qunyanm
Dafny crashes when including module
#47 by jaylorch was closed Oct 21, 2016 updated Nov 18, 2016
@qunyanm
Using forall in an included file causes crash
#48 by jaylorch was closed Oct 21, 2016 updated Nov 18, 2016
@qunyanm
Dafny crashes when an exported revealed function depends on a private type
#49 by jaylorch was closed Oct 27, 2016 updated Nov 18, 2016
@qunyanm
Hiding a type with a restrictive export set doesn't prevent a type ambiguity error
#50 by jaylorch was closed Oct 26, 2016 updated Nov 18, 2016
@qunyanm
Missing allocated-ness check on lemma calls
#51 by RustanLeino was closed Nov 2, 2016 updated Nov 18, 2016
@qunyanm
Dafny crashes after giving a missing-type error message
#53 by RustanLeino was closed Nov 2, 2016 updated Nov 18, 2016
@qunyanm
Bit rotations
#55 by RustanLeino was closed Nov 9, 2016 updated Nov 18, 2016
@qunyanm
ProTip! Updated in the last three days: updated:>2024-08-03.