Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
23 Open 281 Closed
23 Open 281 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: Format for comprehension expressions release-blocker Must be resolved before the next release
#3916 by MikaelMayer was merged May 9, 2023 Loading…
1
3
Feat: Support for --bprint in language server.
#4206 by MikaelMayer was merged Jul 10, 2023 Loading…
@MikaelMayer
5
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
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
Fix: Ensures override checks have access to fuel constant equivalences
#4033 by MikaelMayer was merged May 17, 2023 Loading…
2
1
Fix: Formatting issue in forall statement range
#3961 by MikaelMayer was merged May 8, 2023 Loading…
1
Fix: Opaque functions with frame condition supported as follow-up of #3779
#3957 by MikaelMayer was merged May 5, 2023 Loading…
1
2
Fix: Formatting for parameter default values
#3946 by MikaelMayer was merged May 3, 2023 Loading…
1
1
Feat: 10 more implicit assertions made explicit
#3940 by MikaelMayer was merged May 8, 2023 Loading…
10
Feat: assert {:only} to temporarily work on a single assertion
#3933 by MikaelMayer was merged May 3, 2023 Loading…
1
@MikaelMayer
22
Fix: Assert only applies locally only.
#4073 by MikaelMayer was merged May 25, 2023 Loading…
1
1
Feat: Make assertions explicit in VSCode
#3890 by MikaelMayer was merged May 1, 2023 Loading…
@MikaelMayer
9
Feat: Support for expressions in proof obligation descriptions
#3888 by MikaelMayer was merged Apr 21, 2023 Loading…
11
Minor updates after #3838
#3877 by MikaelMayer was merged Apr 17, 2023 Loading…
Fix: Docstring for functions with ensures
#3847 by MikaelMayer was merged Apr 5, 2023 Loading…
1
Feat: Labelled assertions and requires in functions
#3838 by MikaelMayer was merged Apr 17, 2023 Loading…
1
31
Chore: Disabled a failing CI test
#3829 by MikaelMayer was merged Mar 31, 2023 Loading…
1
Fix: Highlight "inconclusive" as errors in the gutter icons
#3826 by MikaelMayer was merged Mar 30, 2023 Loading…
1
Chore: refactors enhancement
#3812 by MikaelMayer was merged Mar 29, 2023 Loading…
1
Fix: Formatter consistent between command-line and VSCode
#3802 by MikaelMayer was merged Mar 27, 2023 Loading…
1
12
Fix: Opaque functions guaranteed to be opaque until revealed
#3779 by MikaelMayer was merged Apr 21, 2023 Loading…
2
10
Feat: Documenting Dafny Entities (Adding Docstring)
#3756 by MikaelMayer was merged Mar 22, 2023 Loading…
12
ProTip! Follow long discussions with comments:>50.