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

Show a verification error together with its related locations in a single Diagnostic
#1327 by keyboardDrummer was merged Aug 4, 2021 Loading…
19 👍 2
Fix no newline before "either" and "or" in Mac install instruction
#4850 by turbotimon was merged Dec 6, 2023 Loading…
2 👍 2
feat: Plugin support
#1739 by MikaelMayer was merged Feb 11, 2022 Loading…
@MikaelMayer
134 👍 2
Move boogie reference
#2008 by keyboardDrummer was merged Apr 13, 2022 Loading…
1 👍 1
fix: DafnyOptions.O.Compiler is null, preventing instantiation of ModuleExportDecl
#1933 by MikaelMayer was merged Mar 31, 2022 Loading…
1
@MikaelMayer
8 👍 1
Fixes #499 #303: edits to help message
#654 by davidcok was merged Jun 5, 2020 Loading…
👍 1
docs: Update the function section of the tutorial for Dafny 4
#5006 by turbotimon was merged Mar 5, 2024 Loading…
1
2 👍 1
Fix incorrect type of this in 3 places in translation
#367 by RustanLeino was merged Aug 27, 2019 Loading…
1
👍 1
Excluding bound variables of match expressions when computing free variables
#363 by amaurremi 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
Add support for concurrent document updates kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#1456 by camrein was merged Oct 1, 2021 Loading…
1
28 👍 1
Use correct location when reporting error of StmtExpr body
#366 by RustanLeino was merged Aug 26, 2019 Loading…
1
👍 1
Replace "which" utility in launch bash scripts
#541 by fabianhauser was merged Feb 19, 2020 Loading…
1
2 👍 1
Typecheck variables in the Requires clause of lambda functions (handles)
#355 by amaurremi was merged Aug 15, 2019 Loading…
👍 1
Implement a proof-by-contradiction attribute
#5001 by atomb was merged Jan 31, 2024 Loading…
1
4 👍 1
fix: Use correct syntax for link to sec-function-syntax
#2912 by cpitclaudel was closed Oct 24, 2022 Loading…
3 👍 1
Introduce sequence construction expressions
#297 by RustanLeino was merged Jul 10, 2019 Loading…
13 👍 1
Allow type variables in tuples
#240 by seanmcl was merged May 31, 2019 Loading…
1
1
Chore: Internal backends should not fail CI
#5573 by MikaelMayer was merged Jun 25, 2024 Loading…
Fixes for quantifiers + let-such-that expressions
#170 by jamesbornholt was merged Feb 1, 2018 Loading…
@keyboardDrummer
Check type parameters when checking if types are equal
#162 by jamesbornholt was merged Jan 16, 2018 Loading…
Bump up .NET version
#157 by bkragl was merged Nov 14, 2017 Loading…
@jaylorch
4
Checking only if "Dafny.exe" file can be found
#144 by dvdalilue was merged Oct 3, 2017 Loading…
1
Improvements to Coco-based parser workflow
#126 by wilcoxjay was merged Jul 6, 2017 Loading…
Update DafnyRef output
#124 by wilcoxjay was merged Jun 27, 2017 Loading…
3
ProTip! Follow long discussions with comments:>50.