-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ci: Migrate off macos-11
run-deep-tests
Tells CI to run all tests
#5500
opened May 28, 2024 by
robin-aws
Loading…
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979
opened Jan 12, 2024 by
robin-aws
Loading…
chore: Remove libraries submodule
run-deep-tests
Tells CI to run all tests
#3996
opened May 11, 2023 by
robin-aws
Loading…
feat: Support extern names containing periods for Go
#2952
opened Oct 31, 2022 by
robin-aws
Loading…
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…
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…
chore: Run single-platform integration tests even if nightly build failed
#2369
opened Jul 6, 2022 by
robin-aws
Loading…
docs: Completed (and corrected) IteratorSpec section
#1842
opened Feb 19, 2022 by
robin-aws
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.