Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
16 Open 164 Closed
16 Open 164 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: --stdin regressions (un-revert of #4254 with test fix) run-deep-tests Tells CI to run all tests
#4262 by robin-aws was merged Jul 7, 2023 Loading…
fix: Default to /unicodeChar:0 in legacy CLI as well
#3635 by robin-aws was merged Feb 27, 2023 Loading…
10
Update main-4.0 from master
#3643 by robin-aws was merged Feb 27, 2023 Loading…
1
fix: misc Project file improvements
#3935 by robin-aws was merged May 3, 2023 Loading…
fix: Block .doo files as input in legacy CLI
#3967 by robin-aws was merged May 8, 2023 Loading…
chore: Fix NuGet release downloads workflow
#3975 by robin-aws was merged May 10, 2023 Loading…
1
chore: Remove libraries submodule run-deep-tests Tells CI to run all tests
#3996 opened May 11, 2023 by robin-aws Loading…
1
Revert "Run integration tests in single process (#3715)" run-deep-tests Tells CI to run all tests
#3999 by robin-aws was closed May 11, 2023 Loading…
1
fix: Uniform backend testing
#4115 by robin-aws was merged Jun 13, 2023 Loading…
1
28
feat: Benchmarking plugin
#4215 by robin-aws was merged Jul 13, 2023 Loading…
13
fix: Handle depending on modules from --library files
#4244 by robin-aws was merged Jul 5, 2023 Loading…
1
1
chore: Add support for LIT %{pathsep}, use it everywhere run-deep-tests Tells CI to run all tests
#4251 by robin-aws was merged Jul 5, 2023 Loading…
fix: --stdin regressions
#4254 by robin-aws was merged Jul 6, 2023 Loading…
2
fix: Java DafnyRuntime shouldn't depend on junit
#3917 by robin-aws was merged May 3, 2023 Loading…
chore: Disable test that calls gradlew for windows run-deep-tests Tells CI to run all tests
#4281 by robin-aws was closed Jul 13, 2023 Loading…
chore: Revert "feat: Benchmarking plugin (#4215)" run-deep-tests Tells CI to run all tests
#4282 by robin-aws was merged Jul 13, 2023 Loading…
feat: Benchmarking plugin (take two) run-deep-tests Tells CI to run all tests
#4283 by robin-aws was merged Jul 14, 2023 Loading…
1
fix: Avoid race condition in Java runtime sequence concatenation optimization run-deep-tests Tells CI to run all tests
#4294 by robin-aws was merged Jul 18, 2023 Loading…
1
4
doc: Delete “Async-task types” section
#4426 by robin-aws was merged Aug 16, 2023 Loading…
feat: Read clauses on methods
#4440 by robin-aws was merged Aug 30, 2023 Loading…
60
fix: Fix multiple occurrences of same key in map for Go and JS (reopened)
#4497 by robin-aws was merged Sep 2, 2023 Loading…
1
3
feat: Allow more assumptions in library backend
#4545 by robin-aws was merged Sep 15, 2023 Loading…
4
feat: Attributes on reads clauses
#4554 by robin-aws was merged Sep 15, 2023 Loading…
feat: {:assume_concurrent} attribute
#4563 by robin-aws was merged Nov 27, 2023 Loading…
8
(WIP) Only test both resolvers in nightly
#4566 by robin-aws was closed Oct 19, 2023 • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.