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
90 Open 918 Closed
90 Open 918 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

Fix: Support for enumerating datatypes in the Rust backend
#5670 opened Aug 6, 2024 by MikaelMayer Loading…
1
Chore: Generated Id are now declaration-specific
#5669 opened Aug 6, 2024 by MikaelMayer Loading…
1
Fix: Tail-Recursion for the Dafny-to-Rust compiler
#5668 opened Aug 6, 2024 by MikaelMayer Loading…
1
Fix: Support for double constant initialization in Dafny-to-Rust
#5667 opened Aug 5, 2024 by MikaelMayer Loading…
1
feat: Method calls with a by-proof
#5662 opened Aug 1, 2024 by fabiomadge • Draft
1
2
Use CanCall everywhere
#5654 opened Jul 30, 2024 by RustanLeino • Draft
Use refresh resolver by default
#5653 opened Jul 30, 2024 by RustanLeino • Draft
Update quick reference to show post-4.0 function syntax
#5649 opened Jul 26, 2024 by fusate Loading…
Prune assumptions
#5635 opened Jul 19, 2024 by keyboardDrummer • Draft
Allow adding --enforce-determinism even when doing resolve run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5634 opened Jul 18, 2024 by keyboardDrummer Loading…
Enable the option enforce determinism for the verify command
#5632 opened Jul 18, 2024 by keyboardDrummer Loading…
Isolated wellformedness
#5626 opened Jul 15, 2024 by keyboardDrummer Loading…
Macos13and updated boogie run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5600 opened Jul 4, 2024 by keyboardDrummer Loading…
[Draft] NET/Java library prefixes
#5593 opened Jul 2, 2024 by lucasmcdonald3 • Draft
Warn against deeply nested let exprs (WIP)
#5588 opened Jun 28, 2024 by robin-aws • Draft
4 tasks
Make the new type system the default
#5583 opened Jun 27, 2024 by keyboardDrummer • Draft
Try to save /tmp/MSBuildTemprunner/ logs run-deep-tests Tells CI to run all tests
#5516 opened Jun 3, 2024 by keyboardDrummer Loading…
ci: Migrate off macos-11 run-deep-tests Tells CI to run all tests
#5500 opened May 28, 2024 by robin-aws Loading…
fix: Disambiguation priority not preserved when importing modules
#5498 opened May 28, 2024 by stefan-aws • Draft
1
1
Catch crash on reads with different datatype ordering
#5496 opened May 28, 2024 by stefan-aws Loading…
1
1
feat: Allow type parameters on newtypes
#5495 opened May 28, 2024 by RustanLeino Loading…
2
Assign-such-that documentation
#5494 opened May 28, 2024 by stefan-aws Loading…
1
Update Z3 to 4.12.6
#5312 opened Apr 9, 2024 by atomb • Draft
feat: Call graph specs
#5305 opened Apr 7, 2024 by fabiomadge • Draft
feat: Extended call graph
#5288 opened Apr 3, 2024 by fabiomadge • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.