Skip to content

Pull requests: dafny-lang/dafny

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

Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
41 🎉 1
Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
Derive property of type access
#1300 opened Jul 13, 2021 by keyboardDrummer • Draft
Use split attributes boogaloo kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: verifier Translation from Dafny to Boogie (translator)
#1386 opened Aug 25, 2021 by typerSniper Loading… Verification Durability
Make singleton datatypes more efficient in Go
#1394 opened Aug 27, 2021 by tchajed Loading…
1
2
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
No independent consistency hiding
#1474 opened Sep 30, 2021 by keyboardDrummer • Draft
Remove pre-commit as a dependency
#1494 opened Oct 6, 2021 by fabiomadge Loading…
2
feat: Add customized folding ranges to the dafny document
#1549 opened Oct 29, 2021 by camrein • Draft
1
2
[do not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter • Draft
3
Use multiple cores when running individual tests
#1929 opened Mar 23, 2022 by keyboardDrummer • Draft
feat: Parameterized Tests with Method Source in C#/Java
#1976 opened Apr 6, 2022 by tbean79 Loading…
4
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
Warning when constructor name is used as variable in match #1600
#2298 opened Jun 24, 2022 by tobiaj10 Loading…
1
20
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
chore: Run single-platform integration tests even if nightly build failed
#2369 opened Jul 6, 2022 by robin-aws Loading…
6
Add Test Annotation when Compiling to Java
#2395 opened Jul 12, 2022 by tbean79 Loading…
14
Chore: better compile-time elephant operator
#5614 opened Jul 10, 2024 by MikaelMayer Loading…
fix(lsp): Do not mark the bodies of lemmas as ghost.
#1830 opened Feb 16, 2022 by camrein Loading…
1
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.