Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
133 Open 2,731 Closed
133 Open 2,731 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

Changes to Dafny Reference Manual based on Rustan notes
#37 by richardlford was merged Oct 25, 2016 Loading… updated Oct 25, 2016
3
Dafny VSCode Integration
#114 by markusschaden was merged May 26, 2017 Loading… updated May 26, 2017
7
Fix misencoded characters in DafnyRef
#122 by wilcoxjay was merged Jun 22, 2017 Loading… updated Jun 22, 2017
1
1
Update DafnyRef output
#124 by wilcoxjay was merged Jun 27, 2017 Loading… updated Jun 28, 2017
3
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 Loading… updated Jul 6, 2017
Support pattern matching on LHS of LetStmt
#131 by wilcoxjay was merged Jul 27, 2017 Loading… updated Jul 27, 2017
1
Inline lets before trigger selection
#130 by wilcoxjay was merged Jul 28, 2017 Loading… updated Jul 28, 2017
6
Improve INSTALL markdown formatting
#100 by wilcoxjay was merged Apr 19, 2017 Loading… updated Aug 23, 2017
2
Update Kremlin extraction for schema 24
#137 by jroesch was merged Sep 15, 2017 Loading… updated Sep 15, 2017
1
Typo
#138 by kant was merged Sep 16, 2017 Loading… updated Sep 16, 2017
2
Checking only if "Dafny.exe" file can be found
#144 by dvdalilue was merged Oct 3, 2017 Loading… updated Oct 3, 2017
1
Bump up .NET version
#157 by bkragl was merged Nov 14, 2017 Loading… updated Nov 14, 2017
@jaylorch
4
Check type parameters when checking if types are equal
#162 by jamesbornholt was merged Jan 16, 2018 Loading… updated Jan 16, 2018
Inline let-expressions before collecting quantifiers for trigger selection
#171 by jamesbornholt was merged Feb 1, 2018 Loading… updated Feb 1, 2018
1
Fix #182 by adding a suitable null check
#183 by wilcoxjay was merged Mar 1, 2018 Loading… updated Mar 1, 2018
fix #185 binary path search to address on the error when executing through symlink
#186 by HuStmpHrrr was merged Mar 14, 2018 Loading… updated Mar 14, 2018
2
Minor fix on #57
#189 by kant was merged Apr 4, 2018 Loading… updated Apr 4, 2018
missing semicolon
#211 by samuelgruetter was merged Oct 2, 2018 Loading… updated Oct 2, 2018
1
Two typos in the conclusion
#232 by omer-g was merged May 9, 2019 Loading… updated May 10, 2019
:extern copy from trait method to class method and /attrHelp
#237 by mschlaipfer was merged May 29, 2019 Loading… updated May 29, 2019
1
Fixed Go test errors in Windows
#241 by mschlaipfer was merged May 30, 2019 Loading… updated May 30, 2019
Travis build
#246 by seanmcl was closed Jun 5, 2019 Loading… updated Jun 5, 2019
2
Allow tuple destructuring with type variables
#242 by seanmcl was closed Jun 5, 2019 Loading… updated Jun 5, 2019
1
1
Allow type variables in tuples
#240 by seanmcl was merged May 31, 2019 Loading… updated Jun 5, 2019
1
1
update abstract import syntax to current dafny
#244 by gancherj was merged Jun 7, 2019 Loading… updated Jun 7, 2019
1
ProTip! Add no:assignee to see everything that’s not assigned.