-
Notifications
You must be signed in to change notification settings - Fork 321
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Java: collections assume default behavior of
equals(),hashCode()kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6491 In dafny-lang/dafny;Diamond dependencies lead to "Duplicate module name" error when building
.doolibrary without sufficent usage of--librarykind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6486 In dafny-lang/dafny;Missing
FileIOin.doobuildskind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6485 In dafny-lang/dafny;- Status: Open.#6481 In dafny-lang/dafny;
Success of verification of bitvectors depends on unused function argument
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6479 In dafny-lang/dafny;- Status: Open.#6475 In dafny-lang/dafny;
- Status: Open.#6440 In dafny-lang/dafny;
let const fields in reads clauses be warnings
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve DafnyEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve DafnyStatus: Open.#6439 In dafny-lang/dafny;doo formatter can produce code with errors
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6436 In dafny-lang/dafny;dafny format --stdin does not format
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6435 In dafny-lang/dafny;"new" type system etc crashes on resolve
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6434 In dafny-lang/dafny;reads *on a function allows to provefalsekind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelStatus: Open.#6430 In dafny-lang/dafny;