Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
22 Open 278 Closed
22 Open 278 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: Compiled disjunctive nested pattern matching no longer crashing
#5574 opened Jun 25, 2024 by MikaelMayer Loading…
1
2
Chore: Internal backends should not fail CI
#5573 by MikaelMayer was merged Jun 25, 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
Reverted internal prefix for every backend except Dafny
#5538 by MikaelMayer was merged Jun 10, 2024 Loading…
5
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
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…
Chore: No extra newtype test
#5506 by MikaelMayer was merged Jun 8, 2024 Loading…
3
Fix: Optional pre-type won't cause a crash anymore
#5442 by MikaelMayer was merged May 17, 2024 Loading…
1
10
Fix: Support for user-defined module fmt for all compilers
#5441 by MikaelMayer was merged May 17, 2024 Loading…
1
8
Fix: No new resolver crash with partially resolved datatype update expressions
#5440 by MikaelMayer was merged Jun 14, 2024 Loading…
2
@MikaelMayer
2
chore-rust-operators-followup
#5433 by MikaelMayer was merged May 31, 2024 Loading…
4
Feat: Rust operators
#5390 by MikaelMayer was merged May 10, 2024 Loading…
1
Feat rust operators run-deep-tests Tells CI to run all tests
#5380 by MikaelMayer was merged Apr 29, 2024 Loading…
1
Chore rust operators followup
#5373 by MikaelMayer was closed May 4, 2024 Loading…
1
Fix: Standard libraries compatibility with general newtypes
#5347 by MikaelMayer was merged Apr 30, 2024 Loading…
1
1
Chore: Move tests in the correct directory
#5290 by MikaelMayer was merged Apr 11, 2024 Loading…
Chore: Work to enable merge queues
#5277 by MikaelMayer was merged Apr 1, 2024 Loading…
1
Fix deep tests path missing run-deep-tests Tells CI to run all tests
#5275 by MikaelMayer was merged Mar 29, 2024 Loading…
Chore: Fixed broken URL
#5271 by MikaelMayer was merged Mar 29, 2024 Loading…
Fix: Enhanced "insufficient reads clause to read field"
#5265 by MikaelMayer was merged Mar 29, 2024 Loading…
1
3
Chore: Explain difference between bounds and indices in the documentation
#5260 by MikaelMayer was merged Mar 28, 2024 Loading…
Chore: More precise documentation about export set names
#5230 by MikaelMayer was merged Mar 29, 2024 Loading…
2
Fix: (soundness issue) Twostate predicate now check if their not new arguments are allocated in the previous heap
#5142 by MikaelMayer was merged Mar 21, 2024 Loading…
2
1
Feat: Rust operators and immutable collections
#5081 by MikaelMayer was merged Apr 26, 2024 Loading…
81
ProTip! Mix and match filters to narrow down what you’re looking for.