Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
97 Open 1,054 Closed
97 Open 1,054 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

Disposed exception after test run
#4277 by keyboardDrummer was closed Aug 29, 2023 • Draft
Handle multiple projects using the same files
#4273 by keyboardDrummer was closed Jul 21, 2023 Loading…
@keyboardDrummer
1
Retry brew update
#4242 by keyboardDrummer was closed Jul 4, 2023 Loading…
1
Specialize all sequence operations in DafnyPrelude to Box
#4221 by atomb was closed Jan 31, 2024 • Draft
1
Fix 4176 reveal crash
#4179 by EkanshdeepGupta was closed Jun 14, 2023 Loading…
Remove compile modules by cloning modules inside ExpectContracts
#4133 by keyboardDrummer was closed Jun 6, 2023 • Draft
deleteCodeAfterRun flag
#4113 by Dilan-s was closed Jun 1, 2023 Loading…
Remove compile modules
#4112 by keyboardDrummer was closed Jun 5, 2023 • Draft
Staging for CI enhancements
#4105 by davidcok was closed Jun 8, 2023 • Draft
Fixing crash using .doo files -- #4048
#4049 by davidcok was closed May 21, 2023 Loading…
1
1
Large files test and fixes
#4002 by keyboardDrummer was closed Aug 29, 2023 Loading…
4
Revert "Run integration tests in single process (#3715)" run-deep-tests Tells CI to run all tests
#3999 by robin-aws was closed May 11, 2023 Loading…
1
Try using Boogie's "argument" type encoding scheme
#3993 by atomb was closed May 24, 2023 • Draft
1
Release Dafny 4.1.0
#3980 by fabiomadge was closed May 10, 2023 • Draft
[Test Generation] Allow users to specify methods used to construct objects
#3945 by Dargones was closed Apr 9, 2024 • Draft
1
Trial fix for issue 1352
#3927 by davidcok was closed May 1, 2023 Loading…
1
1
Backend Written in Dafny
#3907 by jtristan was closed Jul 27, 2023 • Draft
Remove unused description.txt file
#3827 by keyboardDrummer was merged Mar 31, 2023 Loading…
1
Fix: Highlight "inconclusive" as errors in the gutter icons
#3826 by MikaelMayer was merged Mar 30, 2023 Loading…
1
Update automated formatter
#3811 by keyboardDrummer was closed Mar 29, 2023 • Draft
Retrying the fix to issue 2959 run-deep-tests Tells CI to run all tests
#3801 by davidcok was merged May 17, 2023 Loading…
1
3
Update description of --solver-plugin
#3799 by keyboardDrummer was merged Mar 30, 2023 Loading…
6
Adding coverage from doc tests
#3791 by davidcok was closed May 16, 2023 • Draft
1
Restoring the build of DafnyRef.pdf
#3788 by davidcok was merged Mar 23, 2023 Loading…
1
Cok suspend pdf build2 run-deep-tests Tells CI to run all tests
#3784 by davidcok was closed Mar 22, 2023 Loading…
5
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.