Skip to content

Pull requests: dafny-lang/dafny

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

Only let DafnyCore reference the LSP protocol
#5502 opened May 29, 2024 by keyboardDrummer Loading…
1
Documentation snapshot for v4.6.0
#5270 opened Mar 28, 2024 by robin-aws Loading…
fix: Reject modules that were never verified when building doo files
#5170 opened Mar 8, 2024 by robin-aws • Draft
1
1
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979 opened Jan 12, 2024 by robin-aws Loading…
1
5
Add a link to the documentation
#4959 opened Jan 9, 2024 by keyboardDrummer Loading…
1
Follow-up changes related to BoundedInts
#4740 opened Nov 6, 2023 by keyboardDrummer Loading…
2
Load Z3 for Boogie from the local Binaries folder
#4219 opened Jun 27, 2023 by shadaj Loading…
Increase test timeout, given failed CI run
#3824 opened Mar 30, 2023 by keyboardDrummer Loading…
Remove quantified tokens
#3375 opened Jan 18, 2023 by keyboardDrummer Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.