Skip to content

Pull requests: dafny-lang/dafny

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

Ordered, nested matching of datatypes and constants
#458 by osavaryb was merged Apr 7, 2020 Loading…
112
Debug Equality
#2768 by jtristan was closed Oct 24, 2022 Loading…
1
52
Adding links to the landing page
#2460 by davidcok was closed Sep 29, 2022 Loading…
46
Dafny Style Guide
#304 by mschlaipfer was merged Aug 27, 2019 Loading…
44
Pre-test of Dafny 4
#3466 by davidcok was closed Mar 8, 2023 Loading…
1
38
Grammar and reference manual improvements
#1071 by davidcok was merged Jan 29, 2021 Loading…
1
31
RefMan: Adding initial material about refinement
#996 by davidcok was merged Jan 7, 2021 Loading…
30
[draft] Automated differential testing for the LSP server area: error-reporting Clarity of the error reporting part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#1684 by cpitclaudel was closed Dec 22, 2022 • Draft
@cpitclaudel
30
Grammar and documentation improvements
#1042 by davidcok was merged Jan 14, 2021 Loading…
28
feat: add basic file I/O to runtimes
#3018 by alex-chew was closed Nov 11, 2022 Loading…
28
Documentation: reorganize home page per comments
#727 by davidcok was merged Jul 17, 2020 Loading…
@RustanLeino
27
#731: Improved reasoning about member lookup in presence of type parameters
#785 by davidcok was merged Aug 11, 2020 Loading…
1
23
Improved Lit handling. Functional extensionality tests
#344 by amaurremi was merged Aug 14, 2019 Loading…
21
Fixes #506 - corrects compilation of multi-assignments in which one LHS is a subexpression of another LHS
#644 by davidcok was merged Jun 9, 2020 Loading…
21
#321: Fixes some type resolution problems
#905 by davidcok was closed Jan 28, 2021 Loading…
21
#258: Fixes the printing of strings through Dafny print statements
#675 by davidcok was merged Jun 26, 2020 Loading…
1
@RustanLeino
20
#532: fixing foreach loops generated by set comprehension and forall expressions
#696 by davidcok was merged Jul 17, 2020 Loading…
20
Java: Fast DafnySequence <-> array conversion
#521 by lukemaurer was merged Feb 21, 2020 Loading…
19
Implements an {:expect} attribute on an assert statement, which makes it compiled, if not ghost, as well as verified
#3458 by davidcok was closed Mar 22, 2023 Loading…
1
19
RefMan: Statements and Expressions edits
#929 by davidcok was merged Nov 23, 2020 Loading…
18
Fixes #262: Corrects translation of print statements for values of function type in C#
#653 by davidcok was merged Jun 8, 2020 Loading…
@RustanLeino
17
#922: Fix to axioms, to fix Issue #922
#1025 by davidcok was merged Jan 8, 2021 Loading…
1
17
#181: Documenting type parameter modes and fixing the check of !new
#941 by davidcok was merged Dec 2, 2020 Loading…
1
17
#151, #328: Fixes to ambiguity of imported types
#942 by davidcok was merged Dec 23, 2020 Loading…
1
17
fix: mocking objects in Dafny tests
#1526 by Dargones was closed Apr 30, 2022 • Draft
17
ProTip! Exclude everything labeled bug with -label:bug.