-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add CSV logger for test results and timing
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: verifier
Translation from Dafny to Boogie (translator)
fix(lsp): Don't get stuck when onsave verification is cancelled
#1652
by atomb
was merged Dec 29, 2021
Loading…
C# Runtime: include
BigRational
constructor taking double
#2053
by atomb
was merged Jun 6, 2022
Loading…
Document using sequences and multisets in
reads
clauses
#2163
by atomb
was merged May 31, 2022
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.