Skip to content

Pull requests: dafny-lang/dafny

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

Feat: 10 more implicit assertions made explicit
#3940 by MikaelMayer was merged May 8, 2023 Loading…
10 🚀 1
Chore: Fix Gradle build flagging Java 8 compatibility as "obsolete"
#4185 by MikaelMayer was merged Jun 15, 2023 Loading…
2
Fix: Reserved module identifiers correctly escaped in GO
#4431 by MikaelMayer was merged Apr 1, 2024 Loading…
1
2
Fix: Parser now supports files with a lot of consecutive single-line comments
#4424 by MikaelMayer was merged Aug 16, 2023 Loading…
1
2
Fix: Triggers warnings correclty converted into errors with --warn-as-errors
#4430 by MikaelMayer was merged Aug 29, 2023 Loading…
1
3
Fix: Ability to use .Key as a constant name in datatypes and classes
#4423 by MikaelMayer was merged Aug 29, 2023 Loading…
1
3
Fix: Handling of opaque methods in traits overriding check
#4207 by MikaelMayer was merged Jul 12, 2023 Loading…
1
@MikaelMayer
5
Feat: Support for --bprint in language server.
#4206 by MikaelMayer was merged Jul 10, 2023 Loading…
@MikaelMayer
5
Fix: Support for opaque function handles
#4203 by MikaelMayer was merged Jun 22, 2023 Loading…
1
4
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…
Revert "Use type antecedent in Type/Allocation axioms for const field…
#4192 by MikaelMayer was merged Jun 16, 2023 Loading…
Fix: Subset type decl's witness correctly taken into account
#4189 by MikaelMayer was merged Aug 17, 2023 Loading…
1
Fix: Removed wrong "related position" precision when dealing with regrouped quantifiers
#4187 by MikaelMayer was merged Jul 6, 2023 Loading…
1
@MikaelMayer
2
Fix CI tests run-deep-tests Tells CI to run all tests
#4177 by MikaelMayer was merged Jun 15, 2023 Loading…
3
Chore: Unused identifiers is an advice, not a formal definition
#4172 by MikaelMayer was merged Jun 20, 2023 Loading…
1
3
Fix: Compilation of continue labels no longer crashing in Go
#4171 by MikaelMayer was merged Jul 10, 2023 Loading…
1
@MikaelMayer
8
Fix: No more crash when using constant in pattern
#4170 by MikaelMayer was merged Jun 13, 2023 Loading…
1
Fix: Making assertion explicit work for nested statements
#4169 by MikaelMayer was merged Jun 22, 2023 Loading…
1
9
Fix: Better error message when incorrect number of out parameters
#4168 by MikaelMayer was merged Jun 13, 2023 Loading…
1
1
Fix: Resource units never negative and 3 digit precision
#4145 by MikaelMayer was merged Jun 8, 2023 Loading…
1
13
Feat: {:only} attribute for members
#4075 by MikaelMayer was merged Jun 8, 2023 Loading…
1
15
Fix: Assert only applies locally only.
#4073 by MikaelMayer was merged May 25, 2023 Loading…
1
1
Fix: Ensures override checks have access to fuel constant equivalences
#4033 by MikaelMayer was merged May 17, 2023 Loading…
2
1
Chore: Moved release notes at the correct location
#4208 by MikaelMayer was merged Jun 23, 2023 Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.