Skip to content

Pull requests: dafny-lang/dafny

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

feat: Unicode strings (--unicode-char) run-deep-tests Tells CI to run all tests
#3016 by robin-aws was merged Nov 24, 2022 Loading…
6
119
feat: Provide formals and declarations type highlighting.
#1630 by MikaelMayer was merged Dec 20, 2021 Loading…
@MikaelMayer
112
Initial C# port of auditor
#3175 by atomb was merged Jan 9, 2023 Loading…
@atomb
102
#276: Implement constant propagation for symbolic names and basic operations, with cyclicity checking
#775 by davidcok was merged Oct 6, 2020 Loading…
1
96
Add top-level commands to Dafny and redesign the CLI UI V2
#2603 by keyboardDrummer was merged Sep 30, 2022 Loading…
2
85
Support for Mocking in C# Compiler
#1809 by Dargones was merged Mar 28, 2022 Loading…
82
chore: xUnit-based lit test runner
#680 by robin-aws was merged Oct 21, 2021 Loading…
76
fix(lsp): kill language server if parent process dies
#1664 by keyboardDrummer was merged Dec 28, 2021 Loading…
1
73
Add structured proof obligation descriptions
#1915 by atomb was merged Apr 1, 2022 Loading…
@atomb
72
feat: Verification diagnostics
#1923 by MikaelMayer was closed Mar 29, 2022 Loading…
1
@MikaelMayer
71
Arrays for Python compiler
#2030 by prvshah51 was merged May 3, 2022 Loading…
@prvshah51
66
#2431 Indentation fixes in documentation
#2677 by davidcok was merged Sep 1, 2022 Loading…
1
52
fix: Set/forall comprehensions with subtyping for issue #697
#1522 by MikaelMayer was merged Dec 2, 2021 Loading…
1
51
In-memory implementation of %diff, enable integration tests on windows platform: windows Windows-specific issues
#1540 by robin-aws was merged Dec 28, 2021 Loading…
2
@MikaelMayer @robin-aws
51
Introduce measure-complexity command
#3061 by keyboardDrummer was merged Dec 16, 2022 Loading…
48
feat: Implement sequence type using cross-compiled Dafny code in Go runtime
#3167 by robin-aws was merged Feb 11, 2023 Loading…
@robin-aws
48
Rework notification publishing order
#2391 by keyboardDrummer was merged Jul 27, 2022 Loading…
44
feat: Introduce :older attribute
#1936 by RustanLeino was merged Apr 28, 2022 Loading…
42
FAQ entries - part E
#2623 by davidcok was merged Sep 8, 2022 Loading…
38
FAQ Entries - Part Tools
#2629 by davidcok was merged Oct 7, 2022 Loading…
@robin-aws
38
Let Java properly include runtime sources
#3619 by keyboardDrummer was merged Mar 6, 2023 Loading…
1
38
feat: DowncastClone for data types in C#
#1645 by fabiomadge was merged Jan 7, 2022 Loading…
@fabiomadge
37
Simplify concurrent updates in the IDE and separate concern of handling a single document revision from other concerns
#2478 by keyboardDrummer was merged Aug 4, 2022 Loading…
37
tests: Add a tutorial on parser combinators
#2763 by cpitclaudel was merged Sep 28, 2022 Loading…
@cpitclaudel
37
Use Dafny names instead of Boogie names in log output
#2245 by atomb was merged Jun 22, 2022 Loading…
1
@atomb
37
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.