-
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
feat: Implement frame-related asserted exprs and TraitDecreases
#5542
by alex-chew
was merged Jun 7, 2024
Loading…
5 tasks done
feat: Implement assigned(e) expression
#5501
by alex-chew
was merged May 30, 2024
Loading…
4 tasks done
Add yet more ProofObligationDescription expressions
#5467
by alex-chew
was merged May 20, 2024
Loading…
Add first pass of proof obligation description expressions
#5317
by alex-chew
was merged Apr 20, 2024
Loading…
chore: update version number and doo files for 4.5.0 release
#5199
by alex-chew
was merged Mar 15, 2024
Loading…
ci: disable refman build on prerelease CI
run-deep-tests
Tells CI to run all tests
#4995
by alex-chew
was merged Jan 19, 2024
Loading…
ci: resume publishing nightly builds from master
#4991
by alex-chew
was merged Jan 16, 2024
Loading…
chore: update publishing plugin for Java runtime
#4912
by alex-chew
was merged Dec 22, 2023
Loading…
ci: remove --no-build from Tells CI to run all tests
dotnet pack
commands
run-deep-tests
#4808
by alex-chew
was merged Nov 21, 2023
Loading…
fix: print error context snippets after their messages
#4788
by alex-chew
was merged Nov 16, 2023
Loading…
chore: publish nightly prereleases from master instead of 4.3
#4657
by alex-chew
was merged Oct 12, 2023
Loading…
feat: support Find References LSP request
#4271
by alex-chew
was merged Jul 25, 2023
Loading…
3 tasks done
fix(java): unqualified type cast in pattern dtor
#2904
by alex-chew
was merged Oct 18, 2022
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.