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

Attempt to build DafnyRef using Tectonic
#5056 by atomb was merged Feb 6, 2024 Loading…
@atomb
4
Fix extern contract checking on abstract modules
#4910 by atomb was merged Jan 4, 2024 Loading…
1
@atomb
21
Revert "Optimize uses clauses (#4428)"
#4908 by atomb was closed Apr 23, 2024 • Draft
@atomb
1
Bump Boogie dependency to v3.0.8
#4829 by atomb was merged Nov 30, 2023 Loading…
2
@atomb
Make customBoogie.patch work with recent versions
#4807 by atomb was merged Nov 29, 2023 Loading…
@atomb
6
Split fresh predicate to reduce brittleness
#4800 by atomb was merged Nov 21, 2023 Loading…
@atomb
1
Add unused dependencies to text logger
#4669 by atomb was merged Oct 17, 2023 Loading…
@atomb
2
Skip VerificationCoverageReport.dfy on Windows run-deep-tests Tells CI to run all tests
#4664 by atomb was merged Oct 13, 2023 Loading…
@atomb
Documentation on using proof dependencies
#4639 by atomb was merged Oct 14, 2023 Loading…
@atomb
2
Update user guide to use "brittleness"
#4638 by atomb was merged Oct 19, 2023 Loading…
@atomb
Verification coverage report
#4625 by atomb was merged Oct 12, 2023 Loading…
@atomb
7
Don't warn about assume true being unused
#4611 by atomb was merged Oct 5, 2023 Loading…
@atomb
Fix spurious vacuity warnings when assertions converted to assumptions run-deep-tests Tells CI to run all tests
#4604 by atomb was merged Oct 4, 2023 Loading…
@atomb
7
Monomorphic Field and collection types
#4597 by zafer-esen was merged Feb 9, 2024 Loading…
@atomb
18
Monomorphize collection types
#4535 by zafer-esen was closed Feb 9, 2024 Loading…
@atomb
20
Apply simplification to Imp and Iff connectives
#4533 by zafer-esen was merged Apr 2, 2024 Loading…
@atomb
4
Revert change to Z3 path used by integration tests run-deep-tests Tells CI to run all tests
#4496 by atomb was merged Aug 31, 2023 Loading…
@atomb
Allow cardinality to be treated as long in Java
#4484 by atomb was merged Aug 30, 2023 Loading…
1
@atomb
1
Basic implementation of proof dependency analysis
#4461 by atomb was merged Sep 7, 2023 Loading…
@atomb
42
Fix z3 download run-deep-tests Tells CI to run all tests
#4381 by atomb was merged Aug 3, 2023 Loading…
@atomb
3
Set options in IDE to more closely match CLI
#4374 by atomb was merged Aug 7, 2023 Loading…
@atomb
Don't say "error is impossible" anymore
#4292 by atomb was merged Jul 19, 2023 Loading…
@atomb
4
Use Boogie's "argument" encoding for polymorphism
#4210 by atomb was merged Jul 21, 2023 Loading…
@atomb
2
Update to Boogie 3.0.0
#4209 by atomb was merged Jul 21, 2023 Loading…
@atomb
1
Update Gemfile dependency versions
#4078 by atomb was merged May 25, 2023 Loading…
@atomb
ProTip! no:milestone will show everything without a milestone.