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

usecancall only [not checked locally, don't review]
#1262 opened Jun 28, 2021 by typerSniper Loading…
Derive property of type access
#1300 opened Jul 13, 2021 by keyboardDrummer • Draft
Use split attributes boogaloo kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: verifier Translation from Dafny to Boogie (translator)
#1386 opened Aug 25, 2021 by typerSniper Loading… Verification Durability
No independent consistency hiding
#1474 opened Sep 30, 2021 by keyboardDrummer • Draft
Move banner back to the top of the page
#1833 opened Feb 16, 2022 by robin-aws Loading…
1
docs: Completed (and corrected) IteratorSpec section
#1842 opened Feb 19, 2022 by robin-aws Loading…
@robin-aws
2
feat: Add axioms to simplify s[..|s|-1] part: verifier Translation from Dafny to Boogie (translator)
#1907 opened Mar 15, 2022 by cpitclaudel • Draft
@cpitclaudel
Use multiple cores when running individual tests
#1929 opened Mar 23, 2022 by keyboardDrummer • Draft
feat: Use (wrapped) native strings instead of sequences of characters in Python
#2130 opened May 10, 2022 by fabiomadge • Draft
1
feat: Code in ProofObligationDescriptions kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny part: language server Support for LSP in Dafny (server part; client is in ide-vscode repo)
#2153 opened May 19, 2022 by MikaelMayer • Draft
@MikaelMayer
Test to stress the verifier
#2238 opened Jun 10, 2022 by MikaelMayer • Draft
Warning when constructor name is used as variable in match #1600
#2298 opened Jun 24, 2022 by tobiaj10 Loading…
1
20
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
Add Test Annotation when Compiling to Java
#2395 opened Jul 12, 2022 by tbean79 Loading…
14
Bug fix for parenthesisWarning
#2544 opened Aug 3, 2022 by tobiaj10 Loading…
1
chore: Formatted every test file with the formatter
#2714 opened Sep 8, 2022 by MikaelMayer Loading…
5
Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
chore: Added the PopIt tutorial (multisets, cache, mutual recursion)
#2723 opened Sep 9, 2022 by MikaelMayer Loading…
28
Chore: Tutorial on proven fixpoints combinators
#2789 opened Sep 22, 2022 by MikaelMayer Loading…
8
Semantic tokens highlighting
#2919 opened Oct 24, 2022 by MikaelMayer Loading…
1
@cpitclaudel
14
Added the script that helps me fix dafny issues.
#3038 opened Nov 10, 2022 by MikaelMayer Loading…
fix: ensure postcondition expression is extracted from the right URI
#3044 opened Nov 10, 2022 by dijkstracula Loading…
Enable warn-shadowing attribute on functions/methods
#3289 opened Dec 29, 2022 by keyboardDrummer • Draft
Do not report null dereference errors on not-nullable types
#3312 opened Jan 3, 2023 by keyboardDrummer Loading…
@keyboardDrummer
8
Fix: Errors on refined modules displayed in refined modules, not abstracts ones
#3330 opened Jan 5, 2023 by MikaelMayer • Draft
1
4
ProTip! Add no:assignee to see everything that’s not assigned.