-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
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…
Differentiate between verification roots only, include directives as well, and everything including libraries
#3970
opened May 8, 2023 by
keyboardDrummer
Loading…
feat!: Set up gitpod IDE - a browser-based/zero-install VSCode clone -
#591
opened Apr 11, 2020 by
lemmy
Loading…
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723
opened Sep 9, 2022 by
MikaelMayer
Loading…
Feat: conditional verification, detection of trivially false assumptions
#3116
opened Nov 25, 2022 by
MikaelMayer
•
Draft
Warning when constructor name is used as variable in match #1600
#2298
opened Jun 24, 2022 by
tobiaj10
Loading…
Fix: Recursive constant initialization was not checked if in constructor
#2862
opened Oct 7, 2022 by
MikaelMayer
Loading…
feat: Support extern names containing periods for Go
#2952
opened Oct 31, 2022 by
robin-aws
Loading…
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…
Fix: Wording of assertion failure closer to semantics
#3324
opened Jan 4, 2023 by
MikaelMayer
Loading…
Changing representation of Reads, Requires, and Apply clauses
status: implemented
Candidate feature available for experimentation
#375
opened Sep 5, 2019 by
amaurremi
Loading…
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…
Do not report null dereference errors on not-nullable types
#3312
opened Jan 3, 2023 by
keyboardDrummer
Loading…
Stop showing the number of verified procedures when Dafny finishes
#3318
opened Jan 4, 2023 by
keyboardDrummer
Loading…
Do not allow building libraries while silently not verifing included files
#5406
opened May 6, 2024 by
keyboardDrummer
Loading…
docs: Completed (and corrected) IteratorSpec section
#1842
opened Feb 19, 2022 by
robin-aws
Loading…
chore: Delete outdated assets for the nightly builds
#3351
opened Jan 10, 2023 by
fabiomadge
Loading…
Chore: Fine-tuning verification and compilation performance
#5028
opened Jan 30, 2024 by
MikaelMayer
Loading…
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.