Skip to content

Pull requests: dafny-lang/dafny

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

Basic Dafny to PHP Compiler
#519 opened Jan 23, 2020 by scottarc Loading…
15
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
Add Test Annotation when Compiling to Java
#2395 opened Jul 12, 2022 by tbean79 Loading…
14
Feat: conditional verification, detection of trivially false assumptions
#3116 opened Nov 25, 2022 by MikaelMayer • Draft
1
@MikaelMayer
25
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
chore: Delete outdated assets for the nightly builds
#3351 opened Jan 10, 2023 by fabiomadge Loading…
2
Add support for Java mocking
#2024 opened Apr 15, 2022 by cassidywaldrip Loading…
41
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
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970 opened May 8, 2023 by keyboardDrummer Loading…
34
Hybrid Test Generation
#5226 opened Mar 21, 2024 by Dargones Loading…
2
Do not allow building libraries while silently not verifing included files
#5406 opened May 6, 2024 by keyboardDrummer Loading…
1
4
Use a separate dotnet process for compiling C# programs run-deep-tests Tells CI to run all tests
#5517 opened Jun 3, 2024 by keyboardDrummer Loading…
2
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
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
Chore: Fine-tuning verification and compilation performance
#5028 opened Jan 30, 2024 by MikaelMayer Loading…
2
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723 opened Sep 9, 2022 by MikaelMayer Loading…
28
Fix: Wording of assertion failure closer to semantics
#3324 opened Jan 4, 2023 by MikaelMayer Loading…
1
11
feat: Support extern names containing periods for Go
#2952 opened Oct 31, 2022 by robin-aws Loading…
2
17
Do not report null dereference errors on not-nullable types
#3312 opened Jan 3, 2023 by keyboardDrummer Loading…
@keyboardDrummer
8
chore: Only check the nightly tests on dafny-lang
#3352 opened Jan 11, 2023 by fabiomadge Loading…
14
Chore: Tutorial on proven fixpoints combinators
#2789 opened Sep 22, 2022 by MikaelMayer Loading…
8
Bv synonyms
#1406 opened Aug 31, 2021 by typerSniper Loading…
7
ProTip! Type g i on any issue or pull request to go back to the issue listing page.