Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
9 Open 1,390 Closed
9 Open 1,390 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

Fix: have test generation return sequences with elements of right type
#5611 by stefan-aws was merged Jul 9, 2024 Loading…
1
1
--ignore-warnings flag for test generation
#5609 by stefan-aws was merged Jul 8, 2024 Loading…
2
Fix Nightly: CsharpCodeGenerator.cs run-deep-tests Tells CI to run all tests
#5606 by MikaelMayer was merged Jul 8, 2024 Loading…
Macos13 and indirect c#backend run-deep-tests Tells CI to run all tests
#5601 by keyboardDrummer was merged Jul 5, 2024 Loading…
7
Fix clone function of DecreasesToExpr
#5598 by keyboardDrummer was merged Jul 8, 2024 Loading…
1
1
Refactor codebase in preparation for hide PR
#5594 by keyboardDrummer was merged Jul 4, 2024 Loading…
1
Feat rust classes traits arrays run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5591 by MikaelMayer was merged Jul 9, 2024 Loading…
2
Optimize compilation of functional-looking assignment RHSs
#5589 by RustanLeino was merged Jul 10, 2024 Loading…
2
8
fix: Clarify error location of inlined is predicates
#5587 by RustanLeino was merged Jul 10, 2024 Loading…
1
1
Fix tests that failed during the 4.7 release
#5581 by atomb was merged Jun 27, 2024 Loading…
Release 4.7.0
#5579 by atomb was merged Jun 27, 2024 Loading…
Update release process
#5578 by atomb was merged Jun 27, 2024 Loading…
Fix: Compiled disjunctive nested pattern matching no longer crashing
#5574 by MikaelMayer was merged Jun 26, 2024 Loading…
1
2
Chore: Internal backends should not fail CI
#5573 by MikaelMayer was merged Jun 25, 2024 Loading…
Attempt to stabilize ConcurrentCompilationDoesNotBreakCaching test
#5571 by keyboardDrummer was merged Jun 26, 2024 Loading…
1
1
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
ProTip! Updated in the last three days: updated:>2024-07-08.