Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
132 Open 2,729 Closed
132 Open 2,729 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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: 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
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591 opened Apr 11, 2020 by lemmy Loading…
32
Fix: Recursive constant initialization was not checked if in constructor
#2862 opened Oct 7, 2022 by MikaelMayer Loading…
2
@MikaelMayer
18
chore: Only check the nightly tests on dafny-lang
#3352 opened Jan 11, 2023 by fabiomadge Loading…
14
Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
41
Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970 opened May 8, 2023 by keyboardDrummer Loading…
34
Enable skip-deep-test label skip-deep-tests
#3241 opened Dec 21, 2022 by keyboardDrummer Loading…
7
feat: Support extern names containing periods for Go
#2952 opened Oct 31, 2022 by robin-aws Loading…
2
17
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
chore: A crash in the resolver now reports an error to the user
#2499 opened Jul 27, 2022 by MikaelMayer Loading…
6
feat: Add bounded polymorphism
#5547 opened Jun 8, 2024 by RustanLeino Loading…
1
4
Add script to run Boogie with the args Dafny uses run-deep-tests Tells CI to run all tests
#4492 opened Aug 30, 2023 by atomb Loading…
@atomb
12
Remove legacy symbol table to improve server responsiveness for large projects
#4420 opened Aug 15, 2023 by keyboardDrummer Loading…
4
fix: Actually create the target-runtime-version matrix dimension run-deep-tests Tells CI to run all tests
#2572 opened Aug 10, 2022 by robin-aws Loading…
4
feat: Parameterized Tests with Method Source in C#/Java
#1976 opened Apr 6, 2022 by tbean79 Loading…
4
fix(lsp): Do not mark the bodies of lemmas as ghost.
#1830 opened Feb 16, 2022 by camrein Loading…
1
4
Do not allow building libraries while silently not verifing included files
#5406 opened May 6, 2024 by keyboardDrummer Loading…
1
4
docs: Update book recommendations
#5195 opened Mar 14, 2024 by fabiomadge Loading…
3
Adding a check that libraries verify to nightly testing
#4034 opened May 17, 2023 by davidcok Loading…
@robin-aws
3
Stop showing the number of verified procedures when Dafny finishes
#3318 opened Jan 4, 2023 by keyboardDrummer Loading…
5
fix: Don't generate the "assume T.F(ins) == C.F(ins)" statement in the function override ensures check
#2504 opened Jul 28, 2022 by robin-aws Loading…
1
8
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
[do not merge] Exceptions2 status: implemented Candidate feature available for experimentation
#361 opened Aug 22, 2019 by samuelgruetter • Draft
3
Deduplicate verification diagnostic reporting between CLI and server
#5246 opened Mar 25, 2024 by keyboardDrummer Loading…
9
ProTip! Mix and match filters to narrow down what you’re looking for.