Skip to content

Pull requests: dafny-lang/dafny

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

Allow for user-defined entity creation in test generation
#4574 by Dargones was closed Apr 9, 2024 Loading… updated Apr 9, 2024
1
8
Fix 4922
#4923 by alexporter8013 was closed Jan 4, 2024 Loading… updated Jan 4, 2024
1
13
Remove --no-build from dotnet pack call in msbuild
#4811 by keyboardDrummer was closed Nov 23, 2023 Loading… updated Nov 23, 2023
1
Add --verbosity and --solver-opt flags
#3625 by atomb was closed May 2, 2023 Loading… updated May 2, 2023
9
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… updated Mar 22, 2023
1
19
Restoring the ability to test on local forks
#3669 by davidcok was closed Mar 22, 2023 Loading… updated Mar 22, 2023
5
Pre-test of Dafny 4
#3466 by davidcok was closed Mar 8, 2023 Loading… updated Mar 8, 2023
1
38
Fix formatting error in docs/DafnyRef/Types.md
#3576 by SwampertX was closed Feb 25, 2023 Loading… updated Feb 25, 2023
2
feat: add basic file I/O to runtimes
#3018 by alex-chew was closed Nov 11, 2022 Loading… updated Feb 24, 2023
28
Revert "Reorganizing the induction-principle submission (#3286)"
#3305 by keyboardDrummer was closed Jan 3, 2023 Loading… updated Jan 3, 2023
1
Let target be an argument instead of an option for translate
#3231 by keyboardDrummer was closed Dec 23, 2022 Loading… updated Dec 23, 2022
3
[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 updated Dec 22, 2022
@cpitclaudel
30
Add definiteAssignment option mapping to release notes
#2948 by keyboardDrummer was closed Dec 21, 2022 Loading… updated Dec 21, 2022
2
Debug Equality
#2768 by jtristan was closed Oct 24, 2022 Loading… updated Oct 24, 2022
1
52
Moving release procedures into a dev folder instead of the user-facing docs folder
#2840 by davidcok was closed Oct 4, 2022 Loading… updated Oct 4, 2022
4
#623: Fixed crash in use of Opaque types
#971 by davidcok was closed Jan 30, 2021 Loading… updated Sep 30, 2022
1
4
#321: Fixes some type resolution problems
#905 by davidcok was closed Jan 28, 2021 Loading… updated Sep 30, 2022
21
Break up dafny ast
#2694 by keyboardDrummer was closed Sep 30, 2022 Loading… updated Sep 30, 2022
6
Adding links to the landing page
#2460 by davidcok was closed Sep 29, 2022 Loading… updated Sep 29, 2022
46
Allow {:options "/noNLarith"}
#2484 by atomb was closed Sep 2, 2022 • Draft updated Sep 2, 2022
3
chore: Generate html version of the Reference Manual
#2410 by fabiomadge was closed Jul 14, 2022 • Draft updated Jul 14, 2022
2
fix: Map comprehensions can now be deeply compared in Dafny prelude
#2317 by MikaelMayer was closed Jul 11, 2022 Loading… updated Jul 11, 2022
1
@MikaelMayer
5
Update gradle to 7.2 to support using Java17
#1537 by keyboardDrummer was closed Jun 27, 2022 Loading… updated Jun 27, 2022
2
fix: mocking objects in Dafny tests
#1526 by Dargones was closed Apr 30, 2022 • Draft updated Apr 30, 2022
17
Compiled functions
#1555 by RustanLeino was closed Jan 13, 2022 Loading… updated Jan 13, 2022
4
ProTip! Filter pull requests by the default branch with base:master.