Skip to content

Pull requests: dafny-lang/dafny

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

Use the same C++ warning flags on all platforms
#2048 by atomb was merged Apr 25, 2022 Loading…
1
@atomb
9
Add env var for extra Dafny arguments during tests
#1707 by atomb was merged Jan 15, 2022 Loading…
@atomb
2
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)
#1712 by atomb was merged Jan 22, 2022 Loading… Verification Durability
@atomb
25
Include Z3 resource counts in CSV logs
#1766 by atomb was merged Feb 4, 2022 Loading…
1
@atomb
13
Bump Boogie dependency to 2.11.4
#1787 by atomb was merged Feb 4, 2022 Loading…
@atomb
Update release preparation instructions
#1803 by atomb was merged Feb 9, 2022 Loading…
@atomb
2
Clarify what types can extend a trait
#1823 by atomb was merged Feb 15, 2022 Loading…
1
@atomb
4
Fill in some sections on refinement in the manual
#1874 by atomb was merged Mar 3, 2022 Loading…
@atomb
42
Add structured proof obligation descriptions
#1915 by atomb was merged Apr 1, 2022 Loading…
@atomb
72
Add human-readable verification logger
#1947 by atomb was merged Apr 1, 2022 Loading…
@atomb
16
Categorize options in /help
#1961 by atomb was merged Apr 5, 2022 Loading…
@atomb
11
Reorganize option help to match /help output
#1987 by atomb was merged Apr 21, 2022 Loading…
@atomb
16
fix(lsp): Don't get stuck when onsave verification is cancelled
#1652 by atomb was merged Dec 29, 2021 Loading…
@atomb
60
Fix default Makefile target
#2037 by atomb was merged Apr 26, 2022 Loading…
1
@atomb
2
Silence Gradle warnings for Java runtime
#2049 by atomb was merged Apr 22, 2022 Loading…
@atomb
1
Fix Jekyll warning
#2050 by atomb was merged Apr 22, 2022 Loading…
@atomb
Enable packaging Dafny as a .NET tool
#2051 by atomb was merged Jun 10, 2022 Loading…
1
@atomb
47
C# Runtime: include BigRational constructor taking double
#2053 by atomb was merged Jun 6, 2022 Loading…
1
@atomb
7
Update to Boogie 2.15.0
#2085 by atomb was merged May 3, 2022 Loading…
@atomb
Sort output of /verificationLogger:text
#2116 by atomb was merged May 11, 2022 Loading…
@atomb
4
Add /attrHelp entry for {:autoReq}
#2117 by atomb was merged May 10, 2022 Loading…
@atomb
1
Add documentation for extern declarations
#2138 by atomb was merged May 23, 2022 Loading…
@atomb
12
Document using sequences and multisets in reads clauses
#2163 by atomb was merged May 31, 2022 Loading…
@atomb
1
Add documentation for Boogie command line options
#2203 by atomb was merged Jul 19, 2022 Loading…
@atomb
10
Attempt to build DafnyRef using Tectonic
#5056 by atomb was merged Feb 6, 2024 Loading…
@atomb
4
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.