Skip to content

Pull requests: dafny-lang/dafny

New pull request New
190 Open 3,188 Closed
190 Open 3,188 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: suggest 'extends object' in reads/modifies/unchanged/fresh errors on non-reference traits
#6474 opened Apr 29, 2026 by fabiomadge Collaborator Loading…
1
fix: prevent matching-loop rewrite from extracting inner-binder-bound variables
#6453 opened Apr 2, 2026 by fabiomadge Collaborator Loading…
1
fix: accumulate verification resource counts in long to avoid overflow
#6451 opened Mar 31, 2026 by fabiomadge Collaborator Loading…
1
fix: handle missing definite assignment tracker in assigned()
#6450 opened Mar 31, 2026 by fabiomadge Collaborator Loading…
1
fix: guard against null ResolvedClass in UserDefinedType clone
#6449 opened Mar 31, 2026 by fabiomadge Collaborator Loading…
1
fix: make format --stdin actually format the input
#6448 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
1
fix: parenthesize non-last comprehensions in all comma-separated print lists
#6447 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
1
2
fix: enable reads checks for array allocation expressions
#6446 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
2
fix: pass type substitution for const RHS in CanCallAssumption
#6445 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
1
1
fix: handle pre-resolution SubExpressions and skip broken trigger clones in refinement
#6444 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
1
fix: check newtype constraints for seq() constructor and collection updates
#6443 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
1
fix: thread cco (self-call allowance) through all CanCallAssumption sites (soundness)
#6442 opened Mar 25, 2026 by fabiomadge Collaborator Loading…
2
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
8
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
Make less from the generators internal
#6335 opened Aug 18, 2025 by keyboardDrummer Member Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.