Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
98 Open 1,066 Closed
98 Open 1,066 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

DRAFT -- Stdlib: Strings
#4751 by stefan-aws was closed Nov 8, 2023 Loading…
DRAFT -- Stdlib: MutableCollections
#4750 by stefan-aws was closed Nov 8, 2023 Loading…
Enable traits in the Rust backend
#4744 by shadaj was closed Nov 6, 2023 Loading…
1
Catch copy error run-deep-tests Tells CI to run all tests
#4739 by keyboardDrummer was closed Dec 1, 2023 Loading…
2
Running more tests as part of Rust CI
#4712 by jtristan was closed Jun 3, 2024 Loading…
Interpreter
#4702 by jtristan was closed Jun 3, 2024 Loading…
Improvements for the Resolved Desugared Executable Backend
#4699 by jtristan was closed Jun 3, 2024 Loading…
Renaming exceptions
#4690 by jtristan was closed Oct 19, 2023 Loading…
feat: Standard library support (separate verification only for now) (WIP)
#4677 by robin-aws was closed Oct 18, 2023 • Draft
1
Standard library support verification only
#4668 by robin-aws was closed Oct 13, 2023 • Draft
Chore: Keep core token for reporting.
#4621 by MikaelMayer was closed Oct 9, 2023 Loading…
6
(WIP) Only test both resolvers in nightly
#4566 by robin-aws was closed Oct 19, 2023 • Draft
Implement Rust BetaRedex and fix various closure compile errors
#4525 by shadaj was closed Sep 11, 2023 Loading…
Support Rust array updates and more SinglePassCompiler refactoring
#4518 by shadaj was closed Sep 11, 2023 Loading…
Revisit reads checking
#4486 by RustanLeino was closed Sep 13, 2023 • Draft
1
Implement array and sequence ranged select for Rust
#4468 by shadaj was closed Sep 11, 2023 Loading…
Fix coverlay.runsettings path for Windows integration tests run-deep-tests Tells CI to run all tests
#4460 by keyboardDrummer was closed Aug 23, 2023 Loading…
1
Chore: change the faulty mirror for a new one
#4437 by MikaelMayer was closed Aug 18, 2023 Loading…
2
Store arguments in DafnyOptions
#4410 by keyboardDrummer was closed Aug 16, 2023 • Draft
1
Revert #4359
#4403 by keyboardDrummer was closed Aug 11, 2023 Loading…
4
Add more logging for OnDiskProducerVerificationErrors
#4389 by keyboardDrummer was closed Aug 29, 2023 Loading…
Parallel boogie translation
#4360 by keyboardDrummer was closed Aug 29, 2023 • Draft
Use reference counting when compiling datatypes to Rust
#4335 by shadaj was closed Jul 26, 2023 Loading…
1
Leave Rust testing out of quicktest.sh until a release supports it
#4316 by atomb was closed Jul 20, 2023 Loading…
1
Fix 4287 gutter highlight before project pr
#4307 by MikaelMayer was closed Jul 19, 2023 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.