Skip to content

Pull requests: dafny-lang/dafny

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

feat: Allow type parameters on newtypes
#5495 opened May 28, 2024 by RustanLeino Loading… updated Jun 29, 2024
2
fix: Clarify error location of inlined is predicates
#5587 opened Jun 28, 2024 by RustanLeino Loading… updated Jun 29, 2024
1
Optimize compilation of functional-looking assignment RHSs
#5589 opened Jun 29, 2024 by RustanLeino Loading… updated Jun 29, 2024
1
Warn against deeply nested let exprs (WIP)
#5588 opened Jun 28, 2024 by robin-aws • Draft updated Jun 28, 2024
4 tasks
Make the new type system the default
#5583 opened Jun 27, 2024 by keyboardDrummer • Draft updated Jun 28, 2024
Assign-such-that documentation
#5494 opened May 28, 2024 by stefan-aws Loading… updated Jun 17, 2024
1
fix: Disambiguation priority not preserved when importing modules
#5498 opened May 28, 2024 by stefan-aws • Draft updated Jun 17, 2024
1
1
Blind callables
#5562 opened Jun 15, 2024 by keyboardDrummer • Draft updated Jun 15, 2024
Use a separate dotnet process for compiling C# programs run-deep-tests Tells CI to run all tests
#5517 opened Jun 3, 2024 by keyboardDrummer Loading… updated Jun 10, 2024
2
Try to save /tmp/MSBuildTemprunner/ logs run-deep-tests Tells CI to run all tests
#5516 opened Jun 3, 2024 by keyboardDrummer Loading… updated Jun 3, 2024
Catch crash on reads with different datatype ordering
#5496 opened May 28, 2024 by stefan-aws Loading… updated May 30, 2024
1
1
Only let DafnyCore reference the LSP protocol
#5502 opened May 29, 2024 by keyboardDrummer Loading… updated May 29, 2024
1
ci: Migrate off macos-11 run-deep-tests Tells CI to run all tests
#5500 opened May 28, 2024 by robin-aws Loading… updated May 29, 2024
Added the script that helps me fix dafny issues.
#3038 opened Nov 10, 2022 by MikaelMayer Loading… updated May 14, 2024
Deduplicate verification diagnostic reporting between CLI and server
#5246 opened Mar 25, 2024 by keyboardDrummer Loading… updated May 13, 2024
9
Do not allow building libraries while silently not verifing included files
#5406 opened May 6, 2024 by keyboardDrummer Loading… updated May 8, 2024
1
4
chore(deps): bump pozetroninc/github-action-get-latest-release from 0.5.0 to 0.7.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#3567 opened Feb 17, 2023 by dependabot bot Loading… updated May 6, 2024
1
feat: Call graph specs
#5305 opened Apr 7, 2024 by fabiomadge • Draft updated Apr 25, 2024
Two phase build run-deep-tests Tells CI to run all tests
#5060 opened Feb 6, 2024 by robin-aws • Draft updated Apr 24, 2024
2
Update Z3 to 4.12.6
#5312 opened Apr 9, 2024 by atomb • Draft updated Apr 10, 2024
feat: Extended call graph
#5288 opened Apr 3, 2024 by fabiomadge • Draft updated Apr 4, 2024
chore: add config for PyPI runtime publishing
#5273 opened Mar 28, 2024 by alex-chew Loading… updated Apr 3, 2024
Various prelude cleanups
#5231 opened Mar 21, 2024 by atomb • Draft updated Mar 29, 2024
Documentation snapshot for v4.6.0
#5270 opened Mar 28, 2024 by robin-aws Loading… updated Mar 28, 2024
Don't define ORDINAL as equal to Box
#5236 opened Mar 21, 2024 by atomb • Draft updated Mar 21, 2024
ProTip! Adding no:label will show everything without a label.