-
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: Fix nightly build tests broken by skipping Rust
run-deep-tests
Tells CI to run all tests
#5566
by robin-aws
was merged Jun 19, 2024
Loading…
fix: Legacy datatype constructor compatibility in Java
#5558
by robin-aws
was merged Jun 17, 2024
Loading…
ci: Align mostly on macos-11
run-deep-tests
Tells CI to run all tests
#5531
by robin-aws
was closed Jun 6, 2024
Loading…
ci: Migrate off macos-11
run-deep-tests
Tells CI to run all tests
#5500
opened May 28, 2024 by
robin-aws
Loading…
ci: Use macos-11 in all CI
run-deep-tests
Tells CI to run all tests
#5493
by robin-aws
was merged May 28, 2024
Loading…
Revert "Feat rust operators (#5380)" (again)
run-deep-tests
Tells CI to run all tests
#5383
by robin-aws
was merged May 1, 2024
Loading…
fix: Avoid NPE when building a doo file with —no-verify
#5152
by robin-aws
was merged Mar 6, 2024
Loading…
fix: Move “GO111MODULE=on” to env: to work with Windows too
run-deep-tests
Tells CI to run all tests
#5015
by robin-aws
was merged Jan 25, 2024
Loading…
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979
opened Jan 12, 2024 by
robin-aws
Loading…
Release Dafny 4.4.0 (update refman snapshot and docs/dev/news post-release)
#4872
by robin-aws
was merged Dec 12, 2023
Loading…
feat: Tighten specifications on Strings standard library
#4868
by robin-aws
was merged Dec 12, 2023
Loading…
feat: Add a few more Std.Collections.Seq functions
#4867
by robin-aws
was merged Dec 11, 2023
Loading…
fix: Don’t add target-specific standard library doo files to root source URIs
#4861
by robin-aws
was merged Dec 11, 2023
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:master.