Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
135 Open 2,736 Closed
135 Open 2,736 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Allow type variables in patterns
#272 by seanmcl was merged Jun 21, 2019 Loading…
1
1
Fixed Go test errors in Windows
#241 by mschlaipfer was merged May 30, 2019 Loading…
Allow tuple destructuring with type variables
#242 by seanmcl was closed Jun 5, 2019 Loading…
1
1
Ignore more files
#243 by seanmcl was merged Jun 7, 2019 Loading…
update abstract import syntax to current dafny
#244 by gancherj was merged Jun 7, 2019 Loading…
1
Travis build
#246 by seanmcl was closed Jun 5, 2019 Loading…
2
Add .travis.yml
#247 by seanmcl was merged Jun 8, 2019 Loading…
8
Ignore Rider IDE generated files
#279 by seanmcl was merged Jun 29, 2019 Loading…
Fix tests that failed during the 4.7 release
#5581 by atomb was merged Jun 27, 2024 Loading…
Remove trailing whitespace
#260 by seanmcl was merged Jun 13, 2019 Loading…
3
Unix path separator in 'otherFilenames' not passed on
#264 by mschlaipfer was merged Jun 16, 2019 Loading…
1
Axiomatization of SeqFromArray, HeapSucc, and frame condition
#268 by mschlaipfer was merged Jun 16, 2019 Loading…
1
improved subset type errors, export set name space, cloning bug fix
#269 by RustanLeino was merged Jun 17, 2019 Loading…
5
:extern copy from trait method to class method and /attrHelp
#237 by mschlaipfer was merged May 29, 2019 Loading…
1
Git issue 245
#275 by RustanLeino was merged Jun 21, 2019 Loading…
1
Fix type resolution for multi-indexing
#278 by gancherj was merged Jun 29, 2019 Loading…
1
5
Revert "Allow type variables in tuples"
#249 by seanmcl was merged Jun 5, 2019 Loading…
Improve INSTALL markdown formatting
#100 by wilcoxjay was merged Apr 19, 2017 Loading…
2
Dafny VSCode Integration
#114 by markusschaden was merged May 26, 2017 Loading…
7
Fix misencoded characters in DafnyRef
#122 by wilcoxjay was merged Jun 22, 2017 Loading…
1
1
Update DafnyRef output
#124 by wilcoxjay was merged Jun 27, 2017 Loading…
3
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 Loading…
Support pattern matching on LHS of LetStmt
#131 by wilcoxjay was merged Jul 27, 2017 Loading…
1
Update Kremlin extraction for schema 24
#137 by jroesch was merged Sep 15, 2017 Loading…
1
Checking only if "Dafny.exe" file can be found
#144 by dvdalilue was merged Oct 3, 2017 Loading…
1
ProTip! Updated in the last three days: updated:>2024-06-26.