Skip to content

Pull requests: dafny-lang/dafny

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

Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
chore: Run single-platform integration tests even if nightly build failed
#2369 opened Jul 6, 2022 by robin-aws Loading…
6
fix: Don't generate the "assume T.F(ins) == C.F(ins)" statement in the function override ensures check
#2504 opened Jul 28, 2022 by robin-aws Loading…
1
8
fix: Actually create the target-runtime-version matrix dimension run-deep-tests Tells CI to run all tests
#2572 opened Aug 10, 2022 by robin-aws Loading…
4
feat: Support extern names containing periods for Go
#2952 opened Oct 31, 2022 by robin-aws Loading…
2
17
Newer version of rouge to pick up Dafny syntax highlighting support
#3476 opened Feb 7, 2023 by robin-aws • Draft
chore: Remove libraries submodule run-deep-tests Tells CI to run all tests
#3996 opened May 11, 2023 by robin-aws Loading…
1
ci: Test Rust compiler more in CI
#4576 opened Sep 22, 2023 by robin-aws • Draft
1
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979 opened Jan 12, 2024 by robin-aws Loading…
1
5
Two phase build run-deep-tests Tells CI to run all tests
#5060 opened Feb 6, 2024 by robin-aws • Draft
2
fix: Reject modules that were never verified when building doo files
#5170 opened Mar 8, 2024 by robin-aws • Draft
1
1
Debugging CI
#5201 opened Mar 14, 2024 by robin-aws • Draft
Documentation snapshot for v4.6.0
#5270 opened Mar 28, 2024 by robin-aws Loading…
ci: Migrate off macos-11 run-deep-tests Tells CI to run all tests
#5500 opened May 28, 2024 by robin-aws Loading…
Warn against deeply nested let exprs (WIP)
#5588 opened Jun 28, 2024 by robin-aws • Draft
4 tasks
ProTip! What’s not been updated in a month: updated:<2024-06-09.