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

fix(lsp): Don't get stuck when onsave verification is cancelled
#1652 by atomb was merged Dec 29, 2021 Loading… updated Dec 29, 2021
@atomb
60
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… updated Jan 22, 2022 Verification Durability
@atomb
25
Use the same C++ warning flags on all platforms
#2048 by atomb was merged Apr 25, 2022 Loading… updated May 24, 2022
1
@atomb
9
Add documentation for extern declarations
#2138 by atomb was merged May 23, 2022 Loading… updated May 24, 2022
@atomb
12
Categorize options in /help
#1961 by atomb was merged Apr 5, 2022 Loading… updated May 24, 2022
@atomb
11
Add human-readable verification logger
#1947 by atomb was merged Apr 1, 2022 Loading… updated May 24, 2022
@atomb
16
Add structured proof obligation descriptions
#1915 by atomb was merged Apr 1, 2022 Loading… updated May 24, 2022
@atomb
72
Bump Boogie dependency to 2.11.4
#1787 by atomb was merged Feb 4, 2022 Loading… updated May 24, 2022
@atomb
Add env var for extra Dafny arguments during tests
#1707 by atomb was merged Jan 15, 2022 Loading… updated May 24, 2022
@atomb
2
Update use-local-boogie.sh to .NET 6.0
#1696 by atomb was merged Jan 10, 2022 Loading… updated May 24, 2022
@atomb
5
Document using sequences and multisets in reads clauses
#2163 by atomb was merged May 31, 2022 Loading… updated Jun 7, 2022
@atomb
1
Enable packaging Dafny as a .NET tool
#2051 by atomb was merged Jun 10, 2022 Loading… updated Jun 10, 2022
1
@atomb
47
Prepare to release 3.7.2
#2400 by atomb was merged Jul 13, 2022 Loading… updated Jul 13, 2022
@atomb
Prepare for releasing 3.7.3
#2451 by atomb was merged Jul 19, 2022 Loading… updated Jul 21, 2022
@atomb
Disable NuGet uploading of releases for now
#2450 by atomb was merged Jul 19, 2022 Loading… updated Jul 21, 2022
@atomb
Use a concurrent bag for verification results
#2398 by atomb was merged Jul 12, 2022 Loading… updated Jul 21, 2022
@atomb
ci: Build and release process cleanups after 3.7.3
#2457 by atomb was merged Jul 21, 2022 Loading… updated Jul 21, 2022
@atomb
16
Optimize shift/rotate for more efficient solving
#2494 by atomb was closed Aug 2, 2022 Loading… updated Aug 2, 2022
2
@atomb
12
fix: Improve the performance of proofs involving bit vector shifts
#2520 by atomb was merged Aug 2, 2022 Loading… updated Aug 3, 2022
2
@atomb
16
Initial C# port of auditor
#3175 by atomb was merged Jan 9, 2023 Loading… updated Jan 9, 2023
@atomb
102
Use Boogie's "argument" encoding for polymorphism
#4210 by atomb was merged Jul 21, 2023 Loading… updated Jul 21, 2023
@atomb
2
Remove $Tick from DafnyPrelude.bpl
#4077 by atomb was merged May 30, 2023 Loading… updated Aug 28, 2023
@atomb
Allow cardinality to be treated as long in Java
#4484 by atomb was merged Aug 30, 2023 Loading… updated Aug 30, 2023
1
@atomb
1
Verification coverage report
#4625 by atomb was merged Oct 12, 2023 Loading… updated Oct 12, 2023
@atomb
7
Don't warn about assume true being unused
#4611 by atomb was merged Oct 5, 2023 Loading… updated Oct 13, 2023
@atomb
ProTip! no:milestone will show everything without a milestone.