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

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
Check type parameters when checking if types are equal
#162 by jamesbornholt was merged Jan 16, 2018 Loading…
Fixes for quantifiers + let-such-that expressions
#170 by jamesbornholt was merged Feb 1, 2018 Loading…
@keyboardDrummer
Inline let-expressions before collecting quantifiers for trigger selection
#171 by jamesbornholt was merged Feb 1, 2018 Loading…
1
Fix #182 by adding a suitable null check
#183 by wilcoxjay was merged Mar 1, 2018 Loading…
Minor fix on #57
#189 by kant was merged Apr 4, 2018 Loading…
Two typos in the conclusion
#232 by omer-g was merged May 9, 2019 Loading…
Fixed duplicate parameter name error in example
#233 by mschlaipfer was merged May 23, 2019 Loading…
Fixed Go test errors in Windows
#241 by mschlaipfer was merged May 30, 2019 Loading…
Ignore more files
#243 by seanmcl was merged Jun 7, 2019 Loading…
Revert "Allow type variables in tuples"
#249 by seanmcl was merged Jun 5, 2019 Loading…
Ignore Rider IDE generated files
#279 by seanmcl was merged Jun 29, 2019 Loading…
Make internal attribute more obscure
#290 by seanmcl was merged Jul 2, 2019 Loading…
1
Clarify some points in set tutorial
#294 by RustanLeino was merged Jul 8, 2019 Loading…
Ignore more Rider files
#299 by seanmcl was merged Jul 8, 2019 Loading…
Remove white space at end of lines
#300 by RustanLeino was merged Jul 8, 2019 Loading…
1
Comment on specialized identity
#310 by seanmcl was merged Aug 6, 2019 Loading…
4
Fixes #315
#317 by mschlaipfer was merged Aug 14, 2019 Loading…
1
Note that seq-construction needs heap argument
#335 by RustanLeino was merged Aug 6, 2019 Loading…
1
2
v2: Take compile flag into consideration and return appropriate exit code
#337 by samuelgruetter was merged Aug 6, 2019 Loading…
Try to treat general map comprehension as the common case
#340 by RustanLeino was merged Aug 6, 2019 Loading…
1
4
Reduce spaces before printing "special witness" comment for /rprint
#341 by RustanLeino was merged Aug 7, 2019 Loading…
2
use platform.system() instead of os.name to detect whether to use mono
#345 by samuelgruetter was merged Aug 12, 2019 Loading…
Test Xlint:deprecation
#352 by psbang was closed Aug 13, 2019 Loading…
ProTip! Adding no:label will show everything without a label.