Skip to content

Pull requests: dafny-lang/dafny

New pull request New
190 Open 3,124 Closed
190 Open 3,124 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix: Go Array performance
#6371 opened Oct 6, 2025 by ShubhamChaturvedi7 Loading…
Dafny for JVerify
#6369 opened Sep 30, 2025 by keyboardDrummer • Draft
chore(deps): bump rexml from 3.3.9 to 3.4.2 in /docs dependencies Pull requests that update a dependency file ruby Pull requests that update Ruby code
#6365 opened Sep 17, 2025 by dependabot bot Loading…
fix(python): add __bytes__ and __iter__ to Seq for effiecient bytes conversion
#6362 opened Sep 12, 2025 by imabhichow • Draft
Remove internal flag from Rust compiler and optimize test coverage run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#6359 opened Sep 4, 2025 by MikaelMayer Loading…
Migration from OSSRH to Central Portal for Java runtime
#6352 opened Aug 29, 2025 by ssomayyajula Loading…
chore(deps): bump actions/upload-pages-artifact from 3 to 4 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#6349 opened Aug 26, 2025 by dependabot bot Loading…
chore(deps): bump actions/setup-java from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#6344 opened Aug 25, 2025 by dependabot bot Loading…
Fix #6179: Add Go module runtime testing to %testDafnyForEachCompiler
#6340 opened Aug 19, 2025 by MikaelMayer Loading…
1
chore(deps): bump actions/checkout from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#6336 opened Aug 18, 2025 by dependabot bot Loading…
Make less from the generators internal
#6335 opened Aug 18, 2025 by keyboardDrummer Loading…
Convention for extern constructors to match non-externs
#6334 opened Aug 17, 2025 by ssomayyajula Loading…
1
Recursive constraint dep
#6328 opened Aug 14, 2025 by keyboardDrummer Loading…
7
chore(deps): bump actions/download-artifact from 4 to 5 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#6326 opened Aug 11, 2025 by dependabot bot Loading…
feat: Add fp64 type support with IEEE 754 semantics
#6323 opened Aug 8, 2025 by fabiomadge Loading…
Relax restrictions for constants in value traits
#6314 opened Jul 22, 2025 by keyboardDrummer Loading…
8
Class/Trait Invariants
#6313 opened Jul 20, 2025 by ssomayyajula Loading…
81
Fix Rust target standard library loading for FileIO run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#6307 opened Jul 11, 2025 by MikaelMayer Loading…
Lit-lift more unary operators
#6295 opened Jul 2, 2025 by RustanLeino • Draft
Feat memory locations referrers run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#6293 opened Jul 1, 2025 by MikaelMayer Loading…
1
Fix: Resolve reveal statement crashes in match cases
#6291 opened Jun 30, 2025 by fabiomadge Loading…
1
1
Type parameters
#6284 opened Jun 26, 2025 by keyboardDrummer • Draft
feat: Add scripts to analyze performance
#6271 opened Jun 13, 2025 by fabiomadge Loading…
Fix #1461 Add a reflexivity axiom for $HeapSucc
#6260 opened Jun 4, 2025 by samuelchassot Loading…
12
Resource command (primarily for binary syntax schema)
#6251 opened May 26, 2025 by robin-aws Loading…
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.