Skip to content

Pull requests: dafny-lang/dafny

New pull request New
200 Open 3,165 Closed
200 Open 3,165 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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
1
fix: use long sum for resource count in text logger
#6451 opened Mar 31, 2026 by fabiomadge Collaborator • Draft
1
fix: handle missing definite assignment tracker in assigned()
#6450 opened Mar 31, 2026 by fabiomadge Collaborator • Draft
1
fix: guard against null ResolvedClass in UserDefinedType clone
#6449 opened Mar 31, 2026 by fabiomadge Collaborator • Draft
1
fix: make format --stdin actually format the input
#6448 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
fix: track isRightmost for non-last arguments in printer
#6447 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
2
fix: enable reads checks for array initializer lambdas
#6446 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
2
fix: pass type substitution for const RHS in CanCallAssumption
#6445 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
fix: handle pre-resolution SubExpressions and skip broken trigger clones in refinement
#6444 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
fix: add CheckResultToBeInType for SeqConstructionExpr
#6443 opened Mar 25, 2026 by fabiomadge Collaborator • Draft
1
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…
1
6
rust: use feature(new_uninit)
#6422 opened Jan 13, 2026 by xtqqczze Loading…
fix: Missing method-reads check in array initializer
#6414 opened Dec 8, 2025 by shinlee03 Loading…
1
7
chore: Add z3 4.15.4 and try making it the default
#6411 opened Dec 5, 2025 by fabiomadge Collaborator Loading…
feat: Add docker containers for dedicated languages
#6404 opened Nov 26, 2025 by dlg1206 Loading…
2
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…
1
Dafny for JVerify
#6369 opened Sep 30, 2025 by keyboardDrummer Member • Draft
fix(python): add __bytes__ and __iter__ to Seq for effiecient bytes conversion
#6362 opened Sep 12, 2025 by imabhichow • Draft
Remove internal flag from Rust compiler and optimize test coverage run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#6359 opened Sep 4, 2025 by MikaelMayer Member Loading…
Migration from OSSRH to Central Portal for Java runtime
#6352 opened Aug 29, 2025 by ssomayyajula Contributor Loading…
Fix #6179: Add Go module runtime testing to %testDafnyForEachCompiler
#6340 opened Aug 19, 2025 by MikaelMayer Member Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.