-
Notifications
You must be signed in to change notification settings - Fork 312
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump actions/deploy-pages from 4 to 5
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#6461
opened Apr 13, 2026 by
dependabot
bot
Loading…
chore(deps): bump actions/setup-python from 5 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#6460
opened Apr 13, 2026 by
dependabot
bot
Loading…
chore(deps): bump softprops/action-gh-release from 2 to 3
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#6459
opened Apr 13, 2026 by
dependabot
bot
Loading…
chore(deps): bump actions/configure-pages from 5 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#6458
opened Apr 13, 2026 by
dependabot
bot
Loading…
chore(deps): bump actions/github-script from 7 to 9
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#6457
opened Apr 13, 2026 by
dependabot
bot
Loading…
fix(docs): silence Sass deprecation warnings and fix YAML front matter
#6455
opened Apr 10, 2026 by
fabiomadge
Collaborator
Loading…
fix: prevent trigger splitting from extracting match-bound variables
#6453
opened Apr 2, 2026 by
fabiomadge
Collaborator
•
Draft
fix: use long sum for resource count in text logger
#6451
opened Mar 31, 2026 by
fabiomadge
Collaborator
•
Draft
fix: handle missing definite assignment tracker in assigned()
#6450
opened Mar 31, 2026 by
fabiomadge
Collaborator
•
Draft
fix: guard against null ResolvedClass in UserDefinedType clone
#6449
opened Mar 31, 2026 by
fabiomadge
Collaborator
•
Draft
fix: make format --stdin actually format the input
#6448
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: track isRightmost for non-last arguments in printer
#6447
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: enable reads checks for array initializer lambdas
#6446
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: pass type substitution for const RHS in CanCallAssumption
#6445
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: handle pre-resolution SubExpressions and skip broken trigger clones in refinement
#6444
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: add CheckResultToBeInType for SeqConstructionExpr
#6443
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
fix: pass cco to CanCallAssumption for let body
#6442
opened Mar 25, 2026 by
fabiomadge
Collaborator
•
Draft
2
fix: correct spelling and grammar across documentation and comments
#6438
opened Mar 18, 2026 by
fabiomadge
Collaborator
Loading…
Fix: Correct frame axiom for functions with reads *
#6431
opened Feb 12, 2026 by
olivier-aws
Contributor
Loading…
chore: Add z3 4.15.4 and try making it the default
#6411
opened Dec 5, 2025 by
fabiomadge
Collaborator
Loading…
chore: Document map update based on if the key is in the dom of map
#6373
opened Oct 11, 2025 by
aosen-xiong
Contributor
Loading…
chore: Add documentation for using Dafny setup action in CI
#6372
opened Oct 9, 2025 by
aosen-xiong
Contributor
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.