-
Notifications
You must be signed in to change notification settings - Fork 257
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Chore: Using instantiated type for coercion
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5511
by MikaelMayer
was merged Jun 7, 2024
Loading…
Include stacktrace in parser internal error message
#5508
by keyboardDrummer
was merged May 30, 2024
Loading…
Revert "ci: Use macos-11 in all CI (#5493)"
run-deep-tests
Tells CI to run all tests
#5503
by keyboardDrummer
was merged May 29, 2024
Loading…
feat: Implement assigned(e) expression
#5501
by alex-chew
was merged May 30, 2024
Loading…
4 tasks done
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 "fix: Ignore values not in a multiset when computing its hash …
run-deep-tests
Tells CI to run all tests
#5492
by keyboardDrummer
was merged May 27, 2024
Loading…
No longer show generated symbols as workspace symbols
#5484
by keyboardDrummer
was merged May 24, 2024
Loading…
Improve code navigation for unreferenced declaration
#5483
by keyboardDrummer
was merged May 31, 2024
Loading…
fix: Apply name mangling to datatype names in Python more often
#5476
by fabiomadge
was merged May 22, 2024
Loading…
fix: Reference the correct
this
after removing the tail call of a function or method
#5474
by fabiomadge
was merged May 24, 2024
Loading…
Add yet more ProofObligationDescription expressions
#5467
by alex-chew
was merged May 20, 2024
Loading…
Improve stability of RedundantAssumptionsGetWarnings
#5457
by keyboardDrummer
was merged May 23, 2024
Loading…
Attempt to fix the stability of DocumentAddedToExistingProjectDoesNotCrash
#5456
by keyboardDrummer
was merged May 17, 2024
Loading…
chore(deps): bump rexml from 3.2.6 to 3.2.8 in /docs
dependencies
Pull requests that update a dependency file
ruby
Pull requests that update Ruby code
#5454
by dependabot
bot
was merged May 16, 2024
Loading…
Do not let 'null' children slip into the AST
#5446
by keyboardDrummer
was merged May 30, 2024
Loading…
Turn on more logging for
ProjectFileDoesNotOwnAllSourceFilesItUses
#5445
by keyboardDrummer
was merged May 15, 2024
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.