Skip to content

Pull requests: dafny-lang/dafny

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

Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
feat: Support extern names containing periods for Go
#2952 opened Oct 31, 2022 by robin-aws Loading…
2
17
Enable skip-deep-test label skip-deep-tests
#3241 opened Dec 21, 2022 by keyboardDrummer Loading…
7
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970 opened May 8, 2023 by keyboardDrummer Loading…
34
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
41
chore: Only check the nightly tests on dafny-lang
#3352 opened Jan 11, 2023 by fabiomadge Loading…
14
Fix: Recursive constant initialization was not checked if in constructor
#2862 opened Oct 7, 2022 by MikaelMayer Loading…
2
@MikaelMayer
18
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
feat: Subset types fully accepted in comprehensions kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: code-generation Support for transpiling Dafny to another language. If relevant, add a `lang:` tag part: documentation Dafny's reference manual, tutorial, and other materials part: resolver Resolution and typechecking part: verifier Translation from Dafny to Boogie (translator)
#1702 opened Jan 11, 2022 by MikaelMayer Loading…
@MikaelMayer
151
ProTip! Filter pull requests by the default branch with base:master.