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…
1
Chore: Generated Id are now declaration-specific
#5669 opened Aug 6, 2024 by MikaelMayer Loading…
1
Fix: Tail-Recursion for the Dafny-to-Rust compiler
#5668 opened Aug 6, 2024 by MikaelMayer Loading…
1
Fix: Support for double constant initialization in Dafny-to-Rust
#5667 opened Aug 5, 2024 by MikaelMayer Loading…
1
Feat rust externs subsets eta names tests
#5613 opened Jul 10, 2024 by MikaelMayer Loading…
3
Chore: Fine-tuning verification and compilation performance
#5028 opened Jan 30, 2024 by MikaelMayer Loading…
2
Chore: Update documentation about arrow types
#4521 opened Sep 6, 2023 by MikaelMayer Loading…
Chore: detect when a bug was fixed
#4421 opened Aug 15, 2023 by MikaelMayer Loading…
1
@MikaelMayer
Fix: Making default export set opaque no longer crashing the resolver on inductive datatypes
#4417 opened Aug 14, 2023 by MikaelMayer Loading…
1
1
Add the axiom stating that Seq#Take(s, Seq#Length(s)) == s) for all…
#4195 opened Jun 19, 2023 by MikaelMayer Loading…
1
@MikaelMayer
3
Trigger deep tests for nightly release run-deep-tests Tells CI to run all tests
#4193 opened Jun 16, 2023 by MikaelMayer Loading…
Fix: Modifies clauses with set operations can now be proven need-check-proof-variability
#3336 opened Jan 6, 2023 by MikaelMayer Loading…
1
@MikaelMayer
24
Fix: Errors on refined modules displayed in refined modules, not abstracts ones
#3330 opened Jan 5, 2023 by MikaelMayer • Draft
1
4
Fix: Wording of assertion failure closer to semantics
#3324 opened Jan 4, 2023 by MikaelMayer Loading…
1
11
Feat: conditional verification, detection of trivially false assumptions
#3116 opened Nov 25, 2022 by MikaelMayer • Draft
1
@MikaelMayer
25
Added the script that helps me fix dafny issues.
#3038 opened Nov 10, 2022 by MikaelMayer Loading…
Semantic tokens highlighting
#2919 opened Oct 24, 2022 by MikaelMayer Loading…
1
@cpitclaudel
14
Fix: Recursive constant initialization was not checked if in constructor
#2862 opened Oct 7, 2022 by MikaelMayer Loading…
2
@MikaelMayer
18
Chore: Tutorial on proven fixpoints combinators
#2789 opened Sep 22, 2022 by MikaelMayer Loading…
8
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723 opened Sep 9, 2022 by MikaelMayer Loading…
28
Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
chore: Formatted every test file with the formatter
#2714 opened Sep 8, 2022 by MikaelMayer Loading…
5
chore: A crash in the resolver now reports an error to the user
#2499 opened Jul 27, 2022 by MikaelMayer Loading…
6
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
feat: Code in ProofObligationDescriptions kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#2153 opened May 19, 2022 by MikaelMayer • Draft
@MikaelMayer
ProTip! Type g i on any issue or pull request to go back to the issue listing page.