Skip to content

Pull requests: dafny-lang/dafny

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

Update testing documentation
#5504 by stefan-aws was merged Jun 12, 2024 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
Assign-such-that documentation
#5494 opened May 28, 2024 by stefan-aws Loading…
1
Stdlib Json
#4754 by stefan-aws was merged Dec 6, 2023 Loading…
16
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…
fix brew install pandoc github action run-deep-tests Tells CI to run all tests
#3764 by stefan-aws was merged Mar 21, 2023 Loading…
1
fix for failing integration tests
#3762 by stefan-aws was merged Mar 20, 2023 Loading…
1
2
ProTip! Follow long discussions with comments:>50.