Skip to content

Pull requests: dafny-lang/dafny

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

Axiom warnings
#3553 by keyboardDrummer was merged Feb 21, 2024 Loading…
1
66
Enable passing program arguments when using the new CLI format
#2823 by keyboardDrummer was merged Oct 19, 2022 Loading…
62
Introduce measure-complexity command
#3061 by keyboardDrummer was merged Dec 16, 2022 Loading…
48
Migrate to .NET Core v2
#794 by keyboardDrummer was merged Sep 24, 2020 Loading…
24
Add replaceable modules
#4681 by keyboardDrummer was merged Nov 21, 2023 Loading…
48
Let Java properly include runtime sources
#3619 by keyboardDrummer was merged Mar 6, 2023 Loading…
1
38
Add top-level commands to Dafny and redesign the CLI UI V2
#2603 by keyboardDrummer was merged Sep 30, 2022 Loading…
2
85
Update --enforce-determinism
#3052 by keyboardDrummer was merged Nov 22, 2022 Loading…
15
Deprecate unicode-char
#5302 by keyboardDrummer was merged Apr 19, 2024 Loading…
23
Add --test-assumptions option
#3185 by keyboardDrummer was merged Dec 16, 2022 Loading…
14
Move tuples to runtime instead of generating them
#2284 by keyboardDrummer was merged Jun 29, 2022 Loading…
@keyboardDrummer
21
Add an equivalent of the old -definiteAssignment option to the new CL…
#2933 by keyboardDrummer was merged Oct 28, 2022 Loading…
1
27
Add /library option run-deep-tests Tells CI to run all tests
#2275 by keyboardDrummer was merged Jun 27, 2022 Loading…
@keyboardDrummer
12
Add test and fix for 4144
#4149 by keyboardDrummer was merged Jun 8, 2023 Loading…
1
8
Add test and fix for issue 4004
#4019 by keyboardDrummer was merged May 17, 2023 Loading…
1
9
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970 opened May 8, 2023 by keyboardDrummer Loading…
34
Reduce size of generated tuple type definitions
#2283 by keyboardDrummer was merged Jun 23, 2022 Loading…
@keyboardDrummer
9
Use {:disable_nonlinear_arithmetic} to simplify standard library
#4841 by keyboardDrummer was merged Dec 8, 2023 Loading…
19
Enable skip-deep-test label skip-deep-tests
#3241 opened Dec 21, 2022 by keyboardDrummer Loading…
7
Add --verify-included-files and --boogie-filter options
#3051 by keyboardDrummer was merged Nov 24, 2022 Loading…
28
Separate resolution and verification diagnostics
#1666 by keyboardDrummer was merged Jan 4, 2022 Loading…
@keyboardDrummer
54
Translator breakup
#1337 by keyboardDrummer was merged Aug 24, 2021 Loading…
12
Add a syntax style configuration file to the Dafny repository
#1288 by keyboardDrummer was merged Jul 22, 2021 Loading…
8
Rework warn-as-error option
#4971 by keyboardDrummer was merged Feb 12, 2024 Loading…
@keyboardDrummer
27
Add documentation for getting Dafny toolchain developer help
#3583 by keyboardDrummer was merged Feb 27, 2023 Loading…
7
ProTip! no:milestone will show everything without a milestone.