Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
26 Open 282 Closed
26 Open 282 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: Support for enumerating datatypes in the Rust backend
#5670 opened Aug 6, 2024 by MikaelMayer Loading… updated Aug 6, 2024
1
Chore: Generated Id are now declaration-specific
#5669 opened Aug 6, 2024 by MikaelMayer Loading… updated Aug 6, 2024
1
Fix: Tail-Recursion for the Dafny-to-Rust compiler
#5668 opened Aug 6, 2024 by MikaelMayer Loading… updated Aug 6, 2024
1
Fix: Support for double constant initialization in Dafny-to-Rust
#5667 opened Aug 5, 2024 by MikaelMayer Loading… updated Aug 5, 2024
1
Feat rust externs subsets eta names tests
#5613 opened Jul 10, 2024 by MikaelMayer Loading… updated Aug 5, 2024
3
Chore: better compile-time elephant operator
#5614 by MikaelMayer was merged Jul 11, 2024 Loading… updated Jul 11, 2024
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… updated Jul 9, 2024
2
Fix Nightly: CsharpCodeGenerator.cs run-deep-tests Tells CI to run all tests
#5606 by MikaelMayer was merged Jul 8, 2024 Loading… updated Jul 8, 2024
Fix: Modifies clauses with set operations can now be proven need-check-proof-variability
#3336 opened Jan 6, 2023 by MikaelMayer Loading… updated Jul 5, 2024
1
@MikaelMayer
24
Fix: Compiled disjunctive nested pattern matching no longer crashing
#5574 by MikaelMayer was merged Jun 26, 2024 Loading… updated Jun 26, 2024
1
2
Chore: Internal backends should not fail CI
#5573 by MikaelMayer was merged Jun 25, 2024 Loading… updated Jun 25, 2024
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
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
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
Reverted internal prefix for every backend except Dafny
#5538 by MikaelMayer was merged Jun 10, 2024 Loading… updated Jun 10, 2024
5
Chore: No extra newtype test
#5506 by MikaelMayer was merged Jun 8, 2024 Loading… updated Jun 8, 2024
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… updated Jun 7, 2024
chore-rust-operators-followup
#5433 by MikaelMayer was merged May 31, 2024 Loading… updated May 31, 2024
4
Fix: Optional pre-type won't cause a crash anymore
#5442 by MikaelMayer was merged May 17, 2024 Loading… updated May 17, 2024
1
10
Fix: Support for user-defined module fmt for all compilers
#5441 by MikaelMayer was merged May 17, 2024 Loading… updated May 17, 2024
1
8
Added the script that helps me fix dafny issues.
#3038 opened Nov 10, 2022 by MikaelMayer Loading… updated May 14, 2024
Feat: Rust operators
#5390 by MikaelMayer was merged May 10, 2024 Loading… updated May 10, 2024
1
Chore rust operators followup
#5373 by MikaelMayer was closed May 4, 2024 Loading… updated May 4, 2024
1
Fix: Standard libraries compatibility with general newtypes
#5347 by MikaelMayer was merged Apr 30, 2024 Loading… updated Apr 30, 2024
1
1
ProTip! Follow long discussions with comments:>50.