Skip to content

Pull requests: dafny-lang/dafny

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

Fix 4922
#4923 by alexporter8013 was closed Jan 4, 2024 Loading…
1
13
Remove --no-build from dotnet pack call in msbuild
#4811 by keyboardDrummer was closed Nov 23, 2023 Loading…
1
Allow for user-defined entity creation in test generation
#4574 by Dargones was closed Apr 9, 2024 Loading…
1
8
Restoring the ability to test on local forks
#3669 by davidcok was closed Mar 22, 2023 Loading…
5
Add --verbosity and --solver-opt flags
#3625 by atomb was closed May 2, 2023 Loading…
9
Fix formatting error in docs/DafnyRef/Types.md
#3576 by SwampertX was closed Feb 25, 2023 Loading…
2
Pre-test of Dafny 4
#3466 by davidcok was closed Mar 8, 2023 Loading…
1
38
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
Revert "Reorganizing the induction-principle submission (#3286)"
#3305 by keyboardDrummer was closed Jan 3, 2023 Loading…
1
Let target be an argument instead of an option for translate
#3231 by keyboardDrummer was closed Dec 23, 2022 Loading…
3
feat: add basic file I/O to runtimes
#3018 by alex-chew was closed Nov 11, 2022 Loading…
28
Add definiteAssignment option mapping to release notes
#2948 by keyboardDrummer was closed Dec 21, 2022 Loading…
2
Moving release procedures into a dev folder instead of the user-facing docs folder
#2840 by davidcok was closed Oct 4, 2022 Loading…
4
Debug Equality
#2768 by jtristan was closed Oct 24, 2022 Loading…
1
52
Break up dafny ast
#2694 by keyboardDrummer was closed Sep 30, 2022 Loading…
6
Allow {:options "/noNLarith"}
#2484 by atomb was closed Sep 2, 2022 • Draft
3
Adding links to the landing page
#2460 by davidcok was closed Sep 29, 2022 Loading…
46
chore: Generate html version of the Reference Manual
#2410 by fabiomadge was closed Jul 14, 2022 • Draft
2
fix: Map comprehensions can now be deeply compared in Dafny prelude
#2317 by MikaelMayer was closed Jul 11, 2022 Loading…
1
@MikaelMayer
5
[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
Compiled functions
#1555 by RustanLeino was closed Jan 13, 2022 Loading…
4
Update gradle to 7.2 to support using Java17
#1537 by keyboardDrummer was closed Jun 27, 2022 Loading…
2
fix: mocking objects in Dafny tests
#1526 by Dargones was closed Apr 30, 2022 • Draft
17
add can-calls to the override axiom and change the trigger.
#1335 by typerSniper was closed Aug 28, 2021 Loading…
2
Don't expand stdin.dfy as a path
#1110 by jaylorch was closed Feb 18, 2021 Loading…
1
@RustanLeino
6
ProTip! Mix and match filters to narrow down what you’re looking for.