Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
134 Open 2,724 Closed
134 Open 2,724 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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: Omit Rust from the nightly release workflow
#5559 by MikaelMayer was merged Jun 15, 2024 Loading…
2
Fix null ref in covered tokens
#5548 by keyboardDrummer was merged Jun 10, 2024 Loading…
1
Implement GetAssertedExpr for CalculationStep
#5546 by atomb was merged Jun 8, 2024 Loading…
1
Fix bug in projectAsLibrary test
#5545 by keyboardDrummer was merged Jun 11, 2024 Loading…
4
Prevent LSP server from crashing on code actions
#5543 by keyboardDrummer was merged Jun 7, 2024 Loading…
1
1
feat: Implement frame-related asserted exprs and TraitDecreases
#5542 by alex-chew was merged Jun 7, 2024 Loading…
5 tasks done
5
Reverted internal prefix for every backend except Dafny
#5538 by MikaelMayer was merged Jun 10, 2024 Loading…
5
Use Macos13 instead of 14 run-deep-tests Tells CI to run all tests
#5535 by keyboardDrummer was merged Jun 6, 2024 Loading…
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…
1
No flatten for most backends
#5528 by keyboardDrummer was merged Jun 5, 2024 Loading…
10
Split off parts of single pass compiler
#5526 by keyboardDrummer was merged Jun 4, 2024 Loading…
@MikaelMayer
3
fix: Only guard this when eliminating tail calls, if possible
#5524 by fabiomadge was merged Jun 4, 2024 Loading…
1
Add const, export and expect to LaTeX keyword list
#5522 by zeertzjq was merged Jun 4, 2024 Loading…
1
chore: Clean up build
#5519 by RustanLeino was merged Jun 6, 2024 Loading…
chore: Double shard count and drop ubuntu-lastest from the nightly build run-deep-tests Tells CI to run all tests
#5518 by fabiomadge was merged Jun 3, 2024 Loading…
2
Fix minor README typo
#5514 by lucasmcdonald3 was merged Jun 4, 2024 Loading…
Add timeout support to tests of TestGeneration.Test
#5512 by keyboardDrummer was merged Jun 6, 2024 Loading…
3
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…
Do not flatten matches for C# run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5509 by keyboardDrummer was closed Jun 5, 2024 Loading…
1
Include stacktrace in parser internal error message
#5508 by keyboardDrummer was merged May 30, 2024 Loading…
chore: remove byte-order mark from test files
#5507 by alex-chew was closed Jun 3, 2024 Loading…
1
Chore: No extra newtype test
#5506 by MikaelMayer was merged Jun 8, 2024 Loading…
3
Update testing documentation
#5504 by stefan-aws was merged Jun 12, 2024 Loading…
Revert "ci: Use macos-11 in all CI (#5493)" run-deep-tests Tells CI to run all tests
#5503 by keyboardDrummer was merged May 29, 2024 Loading…
feat: Implement assigned(e) expression
#5501 by alex-chew was merged May 30, 2024 Loading…
4 tasks done
3
ProTip! Follow long discussions with comments:>50.