Skip to content

Pull requests: dafny-lang/dafny

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

Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
Enable skip-deep-test label skip-deep-tests
#3241 opened Dec 21, 2022 by keyboardDrummer Loading…
7
feat: Add customized folding ranges to the dafny document
#1549 opened Oct 29, 2021 by camrein • Draft
1
2
Draft: Fix #4127 Too many parens for Python
#5147 opened Mar 5, 2024 by alexporter8013 • Draft
1
docs: Update book recommendations
#5195 opened Mar 14, 2024 by fabiomadge Loading…
3
Two phase build run-deep-tests Tells CI to run all tests
#5060 opened Feb 6, 2024 by robin-aws • Draft
2
Debugging CI
#5201 opened Mar 14, 2024 by robin-aws • Draft
(Ugly version) Improve function ensures clause error reporting
#5680 opened Aug 12, 2024 by keyboardDrummer • Draft
Various prelude cleanups
#5231 opened Mar 21, 2024 by atomb • Draft
chore: Use M1-based runners
#5044 opened Feb 2, 2024 by fabiomadge • Draft
Warn against deeply nested let exprs (WIP)
#5588 opened Jun 28, 2024 by robin-aws • Draft
4 tasks
feat: Extended call graph
#5288 opened Apr 3, 2024 by fabiomadge • Draft
Try to save /tmp/MSBuildTemprunner/ logs run-deep-tests Tells CI to run all tests
#5516 opened Jun 3, 2024 by keyboardDrummer Loading…
feat: Call graph specs
#5305 opened Apr 7, 2024 by fabiomadge • Draft
Update Z3 to 4.12.6
#5312 opened Apr 9, 2024 by atomb • Draft
Add some attribute tests
#5083 opened Feb 13, 2024 by keyboardDrummer Loading…
Better summary of verification
#5040 opened Feb 1, 2024 by keyboardDrummer • Draft
1
Assign-such-that documentation
#5494 opened May 28, 2024 by stefan-aws Loading…
1
Make the new type system the default
#5583 opened Jun 27, 2024 by keyboardDrummer • Draft
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…
usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
ProTip! no:milestone will show everything without a milestone.