Skip to content

Pull requests: dafny-lang/dafny

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

feat: add /version CLI flag
#627 by alex-chew was merged May 19, 2020 Loading… updated May 19, 2020
1
5
fix: exit early with exit status 0 on /version and on /help
#629 by alex-chew was merged May 22, 2020 Loading… updated Feb 28, 2022
1
fix: retain non-method-body block statements when cloning abstract signatures
#2731 by alex-chew was merged Sep 13, 2022 Loading… updated Sep 13, 2022
1
1
chore: improve error message for seq type mismatch
#2790 by alex-chew was merged Sep 30, 2022 Loading… updated Sep 30, 2022
1
7
fix: handle null seq type arg in error message
#2837 by alex-chew was merged Oct 4, 2022 Loading… updated Oct 4, 2022
1
fix: string-seq equality in JS runtime
#2877 by alex-chew was merged Oct 10, 2022 Loading… updated Oct 10, 2022
1
1
fix(java): unqualified type cast in pattern dtor
#2904 by alex-chew was merged Oct 18, 2022 Loading… updated Oct 19, 2022
1
4
fix(js): areEqual(number, bignum) edge case
#2958 by alex-chew was merged Nov 2, 2022 Loading… updated Nov 3, 2022
1
5
Release Dafny 3.10.0
#3201 by alex-chew was merged Dec 16, 2022 Loading… updated Dec 16, 2022
1
Release Dafny 3.12.0
#3594 by alex-chew was merged Feb 21, 2023 Loading… updated Feb 21, 2023
4
Documentation snapshot for v3.12.0
#3597 by alex-chew was merged Feb 22, 2023 Loading… updated Feb 22, 2023
small fixes in doc snapshot instructions
#3598 by alex-chew was merged Feb 22, 2023 Loading… updated Feb 22, 2023
Check ide-vscode for blockers in release script
#3604 by alex-chew was merged Feb 22, 2023 Loading… updated Feb 22, 2023
5
feat: add basic file I/O to runtimes
#3018 by alex-chew was closed Nov 11, 2022 Loading… updated Feb 24, 2023
28
Remove obsolete countVerificationErrors option
#3634 by alex-chew was merged Feb 27, 2023 Loading… updated Feb 27, 2023
1
3
feat: support Find References LSP request
#4271 by alex-chew was merged Jul 25, 2023 Loading… updated Jul 25, 2023
3 tasks done
1
23
feat: LSP rename support
#4365 by alex-chew was merged Aug 7, 2023 Loading… updated Aug 7, 2023
3 tasks done
1
5
chore: publish nightly prereleases from master instead of 4.3
#4657 by alex-chew was merged Oct 12, 2023 Loading… updated Oct 12, 2023
1
chore: add missing license and readme metadata
#4704 by alex-chew was merged Oct 23, 2023 Loading… updated Oct 23, 2023
feat: import Collections library
#4756 by alex-chew was merged Nov 13, 2023 Loading… updated Nov 13, 2023
5
feat: import Unicode libraries
#4780 by alex-chew was merged Nov 15, 2023 Loading… updated Nov 15, 2023
2 tasks done
1
5
fix: print error context snippets after their messages
#4788 by alex-chew was merged Nov 16, 2023 Loading… updated Nov 16, 2023
1
2
ci: remove --no-build from dotnet pack commands run-deep-tests Tells CI to run all tests
#4808 by alex-chew was merged Nov 21, 2023 Loading… updated Nov 21, 2023
chore: update publishing plugin for Java runtime
#4912 by alex-chew was merged Dec 22, 2023 Loading… updated Dec 22, 2023
ci: resume publishing nightly builds from master
#4991 by alex-chew was merged Jan 16, 2024 Loading… updated Jan 16, 2024
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.