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

Ordered, nested matching of datatypes and constants
#458 by osavaryb was merged Apr 7, 2020 Loading…
112
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
Do-notation desugaring to monadic Bind status: implemented Candidate feature available for experimentation
#455 by osavaryb was closed Jan 27, 2021 Loading…
56
Feat: Dafny format file.dfy and IDE extension
#2399 by MikaelMayer was merged Feb 7, 2023 Loading… Dafny 4.0
@MikaelMayer
301
Introduce measure-complexity command
#3061 by keyboardDrummer was merged Dec 16, 2022 Loading…
48
Java: Unboxed primitives
#472 by lukemaurer was merged Feb 21, 2020 Loading…
22
Enabling show-snippet option when using console (#3304)
#4064 by davidcok was merged May 31, 2023 Loading…
1
20
feat: Verification diagnostics (core version) 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)
#1942 by MikaelMayer was merged May 11, 2022 Loading…
1
@MikaelMayer
128
feat: Introduce :older attribute
#1936 by RustanLeino was merged Apr 28, 2022 Loading…
42
Go libray module support
#5140 by ShubhamChaturvedi7 was merged May 8, 2024 Loading…
82
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
fix: mocking objects in Dafny tests
#1526 by Dargones was closed Apr 30, 2022 • Draft
17
Add reusable MSBuild tasks for projects with Dafny source
#453 by robin-aws was merged Dec 5, 2019 Loading…
14
Counterexamples As Assumptions
#5013 by Dargones was merged Apr 9, 2024 Loading…
34
Let Java properly include runtime sources
#3619 by keyboardDrummer was merged Mar 6, 2023 Loading…
1
38
Initial C# port of auditor
#3175 by atomb was merged Jan 9, 2023 Loading…
@atomb
102
Add top-level commands to Dafny and redesign the CLI UI V2
#2603 by keyboardDrummer was merged Sep 30, 2022 Loading…
2
85
Fix version of Newtonsoft.Json
#1723 by MikaelMayer was merged Jan 26, 2022 Loading…
1
17
Refactor compiler to allow loading backends from separate DLLs misc: cleanup Cleanups in the implementation or in corners of the language part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
#1708 by cpitclaudel was closed Mar 30, 2022 Loading…
@cpitclaudel
39
Feature: Test Generation Redesign
#3122 by Dargones was merged Feb 1, 2023 Loading…
57
Update --enforce-determinism
#3052 by keyboardDrummer was merged Nov 22, 2022 Loading…
15
feat: Dafny Main method to accept optional seq<string> argument
#2594 by MikaelMayer was merged Sep 6, 2022 Loading…
1
@MikaelMayer
36
feat: Add -diagnosticsFormat command-line flag
#2363 by cpitclaudel was merged Jul 21, 2022 Loading…
1
@cpitclaudel
33
ProTip! Filter pull requests by the default branch with base:master.