Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
11 Open 1,588 Closed
11 Open 1,588 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…
Add --find-project option
#5568 by keyboardDrummer was merged Jun 25, 2024 Loading…
1
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…
Ensure nightly skips Rust (fixed) run-deep-tests Tells CI to run all tests
#5564 by MikaelMayer was merged Jun 18, 2024 Loading…
Chore: Omit Rust from the nightly release workflow
#5559 by MikaelMayer was merged Jun 15, 2024 Loading…
2
fix: Legacy datatype constructor compatibility in Java
#5558 by robin-aws was merged Jun 17, 2024 Loading…
1
3
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…
chore: Remove typos in docs
#5529 by fabiomadge was merged Jun 20, 2024 Loading…
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…
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…
3
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…
Include stacktrace in parser internal error message
#5508 by keyboardDrummer was merged May 30, 2024 Loading…
ProTip! Adding no:label will show everything without a label.