Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
98 Open 1,066 Closed
98 Open 1,066 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

Support pattern matching on LHS of LetStmt
#131 by wilcoxjay was merged Jul 27, 2017 Loading…
1
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 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…
Check type parameters when checking if types are equal
#162 by jamesbornholt was merged Jan 16, 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…
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…
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
v2: Take compile flag into consideration and return appropriate exit code
#337 by samuelgruetter was merged Aug 6, 2019 Loading…
Fix refinement checks for two-state predicates.
#358 by RustanLeino was merged Aug 21, 2019 Loading…
1
Fix incorrect type of this in 3 places in translation
#367 by RustanLeino was merged Aug 27, 2019 Loading…
1
Use correct location when reporting error of StmtExpr body
#366 by RustanLeino was merged Aug 26, 2019 Loading…
1
Fix two CodeContract crashes in the Java compiler
#368 by RustanLeino was merged Aug 27, 2019 Loading…
Roll in style-guide suggestions
#369 by RustanLeino was merged Aug 29, 2019 Loading…
Use TargetWriter to format generated Java code
#372 by RustanLeino was merged Aug 30, 2019 Loading…
Spend less time constructing BigInteger's in compiled code
#373 by RustanLeino was merged Sep 3, 2019 Loading…
use platform.system() instead of os.name to detect whether to use mono
#345 by samuelgruetter was merged Aug 12, 2019 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.