Skip to content

Pull requests: dafny-lang/dafny

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

Chore: Internal backends should not fail CI
#5573 by MikaelMayer was merged Jun 25, 2024 Loading… updated Jun 25, 2024
Add --find-project option
#5568 by keyboardDrummer was merged Jun 25, 2024 Loading… updated Jun 25, 2024
1
Chore: Dafny to Rust refactorings run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5513 by MikaelMayer was merged Jun 22, 2024 Loading… updated Jun 24, 2024
3
chore: Remove typos in docs
#5529 by fabiomadge was merged Jun 20, 2024 Loading… updated Jun 20, 2024
ci: Fix nightly build tests broken by skipping Rust run-deep-tests Tells CI to run all tests
#5566 by robin-aws was merged Jun 19, 2024 Loading… updated Jun 19, 2024
Ensure nightly skips Rust (fixed) run-deep-tests Tells CI to run all tests
#5564 by MikaelMayer was merged Jun 18, 2024 Loading… updated Jun 18, 2024
fix: Legacy datatype constructor compatibility in Java
#5558 by robin-aws was merged Jun 17, 2024 Loading… updated Jun 17, 2024
1
3
Chore: Omit Rust from the nightly release workflow
#5559 by MikaelMayer was merged Jun 15, 2024 Loading… updated Jun 15, 2024
2
Fix: No new resolver crash with partially resolved datatype update expressions
#5440 by MikaelMayer was merged Jun 14, 2024 Loading… updated Jun 14, 2024
2
@MikaelMayer
2
Update testing documentation
#5504 by stefan-aws was merged Jun 12, 2024 Loading… updated Jun 12, 2024
Fix bug in projectAsLibrary test
#5545 by keyboardDrummer was merged Jun 11, 2024 Loading… updated Jun 11, 2024
4
Reverted internal prefix for every backend except Dafny
#5538 by MikaelMayer was merged Jun 10, 2024 Loading… updated Jun 10, 2024
5
Fix null ref in covered tokens
#5548 by keyboardDrummer was merged Jun 10, 2024 Loading… updated Jun 10, 2024
1
Add timeout support to tests of TestGeneration.Test
#5512 by keyboardDrummer was merged Jun 6, 2024 Loading… updated Jun 10, 2024
3
Chore: No extra newtype test
#5506 by MikaelMayer was merged Jun 8, 2024 Loading… updated Jun 8, 2024
3
Implement GetAssertedExpr for CalculationStep
#5546 by atomb was merged Jun 8, 2024 Loading… updated Jun 8, 2024
1
feat: Implement frame-related asserted exprs and TraitDecreases
#5542 by alex-chew was merged Jun 7, 2024 Loading… updated Jun 7, 2024
5 tasks done
5
feat: python-module-name
#5461 by lucasmcdonald3 was merged Jun 7, 2024 Loading… updated Jun 7, 2024
25
Chore: Using instantiated type for coercion run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5511 by MikaelMayer was merged Jun 7, 2024 Loading… updated Jun 7, 2024
Prevent LSP server from crashing on code actions
#5543 by keyboardDrummer was merged Jun 7, 2024 Loading… updated Jun 7, 2024
1
1
chore: Clean up build
#5519 by RustanLeino was merged Jun 6, 2024 Loading… updated Jun 6, 2024
ci: Align mostly on macos-11 run-deep-tests Tells CI to run all tests
#5531 by robin-aws was closed Jun 6, 2024 Loading… updated Jun 6, 2024
1
Use Macos13 instead of 14 run-deep-tests Tells CI to run all tests
#5535 by keyboardDrummer was merged Jun 6, 2024 Loading… updated Jun 6, 2024
No flatten for most backends
#5528 by keyboardDrummer was merged Jun 5, 2024 Loading… updated Jun 5, 2024
10
Fix minor README typo
#5514 by lucasmcdonald3 was merged Jun 4, 2024 Loading… updated Jun 5, 2024
ProTip! What’s not been updated in a month: updated:<2024-05-26.