Skip to content

Pull requests: dafny-lang/dafny

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

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
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
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
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
Fix: Errors on refined modules displayed in refined modules, not abstracts ones
#3330 opened Jan 5, 2023 by MikaelMayer • Draft
1
4
Remove quantified tokens
#3375 opened Jan 18, 2023 by keyboardDrummer Loading…
3
No more token nodes
#3408 opened Jan 26, 2023 by keyboardDrummer • Draft
Newer version of rouge to pick up Dafny syntax highlighting support
#3476 opened Feb 7, 2023 by robin-aws • Draft
Cache parsing the Dafny prelude
#3544 opened Feb 15, 2023 by keyboardDrummer Loading…
Issue #3430: Implementing bodyless modules and fixed module lookup
#3575 opened Feb 20, 2023 by davidcok Loading…
1
ProTip! What’s not been updated in a month: updated:<2024-06-10.