Skip to content

Pull requests: dafny-lang/dafny

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

Excluding bound variables of match expressions when computing free variables
#363 by amaurremi was merged Aug 26, 2019 Loading…
1 👍 1
Fix incorrect type of this in 3 places in translation
#367 by RustanLeino was merged Aug 27, 2019 Loading…
1
👍 1
Use correct location when reporting error of StmtExpr body
#366 by RustanLeino was merged Aug 26, 2019 Loading…
1
👍 1
use platform.system() instead of os.name to detect whether to use mono
#345 by samuelgruetter was merged Aug 12, 2019 Loading…
👍 1
Typecheck variables in the Requires clause of lambda functions (handles)
#355 by amaurremi was merged Aug 15, 2019 Loading…
👍 1
Replace "which" utility in launch bash scripts
#541 by fabianhauser was merged Feb 19, 2020 Loading…
1
2 👍 1
Fixes #499 #303: edits to help message
#654 by davidcok was merged Jun 5, 2020 Loading…
👍 1
fix: DafnyOptions.O.Compiler is null, preventing instantiation of ModuleExportDecl
#1933 by MikaelMayer was merged Mar 31, 2022 Loading…
1
@MikaelMayer
8 👍 1
Move boogie reference
#2008 by keyboardDrummer was merged Apr 13, 2022 Loading…
1 👍 1
fix: Use correct syntax for link to sec-function-syntax
#2912 by cpitclaudel was closed Oct 24, 2022 Loading…
3 👍 1
Inline lets before trigger selection
#130 by wilcoxjay was merged Jul 28, 2017 Loading…
6
Support pattern matching on LHS of LetStmt
#131 by wilcoxjay was merged Jul 27, 2017 Loading…
1
Typo
#138 by kant was merged Sep 16, 2017 Loading…
2
Chore: Keep core token for reporting.
#4621 by MikaelMayer was closed Oct 9, 2023 Loading…
6
Checking only if "Dafny.exe" file can be found
#144 by dvdalilue was merged Oct 3, 2017 Loading…
1
Improve INSTALL markdown formatting
#100 by wilcoxjay was merged Apr 19, 2017 Loading…
2
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
Dafny VSCode Integration
#114 by markusschaden was merged May 26, 2017 Loading…
7
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 Loading…
Changes to Dafny Reference Manual based on Rustan notes
#37 by richardlford was merged Oct 25, 2016 Loading…
3
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
Bump up .NET version
#157 by bkragl was merged Nov 14, 2017 Loading…
@jaylorch
4
Fix #182 by adding a suitable null check
#183 by wilcoxjay was merged Mar 1, 2018 Loading…
ProTip! Adding no:label will show everything without a label.