Skip to content

Pull requests: dafny-lang/dafny

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

Formatter pass
#2715 opened Sep 8, 2022 by MikaelMayer Loading…
26
Generate tuple files
#2315 opened Jun 29, 2022 by keyboardDrummer • Draft
Remove pre-commit as a dependency
#1494 opened Oct 6, 2021 by fabiomadge Loading…
2
Remove preconditions from axioms [not yet ready for review]
#1400 opened Aug 27, 2021 by typerSniper Loading…
2
chore: A crash in the resolver now reports an error to the user
#2499 opened Jul 27, 2022 by MikaelMayer Loading…
6
fix: Include standard header with every unsupported feature message
#2739 opened Sep 13, 2022 by cpitclaudel Loading…
1
@robin-aws
3
Introduce an async type DynamicStack that can be used to prevent stac…
#2124 opened May 10, 2022 by keyboardDrummer • Draft
3
Bug fix for parenthesisWarning
#2544 opened Aug 3, 2022 by tobiaj10 Loading…
1
chore: Remove libraries submodule run-deep-tests Tells CI to run all tests
#3996 opened May 11, 2023 by robin-aws Loading…
1
Newer version of rouge to pick up Dafny syntax highlighting support
#3476 opened Feb 7, 2023 by robin-aws • Draft
Debugging lit command failures run-deep-tests Tells CI to run all tests
#3813 opened Mar 28, 2023 by davidcok Loading…
Project file management [wip]
#3368 opened Jan 13, 2023 by prvshah51 Loading…
1
Show logger output when running unit tests in non-debug mode in the r…
#4511 opened Sep 4, 2023 by keyboardDrummer • Draft
Adding a check that libraries verify to nightly testing
#4034 opened May 17, 2023 by davidcok Loading…
@robin-aws
3
Set library back-end to stable
#4730 opened Oct 31, 2023 by keyboardDrummer Loading…
1
Add GoLang to the replaceable complex test case
#4856 opened Dec 8, 2023 by keyboardDrummer Loading…
Use Module Name in identifying a let-such-that expression
#4718 opened Oct 27, 2023 by Dargones • Draft
1
ci: pin Pandoc to 3.1.9
#4993 opened Jan 17, 2024 by alex-chew • Draft
Parse using a stream instead of a large string
#4038 opened May 19, 2023 by keyboardDrummer • Draft
Move standard library into the runtime
#4877 opened Dec 13, 2023 by keyboardDrummer • Draft
docs: Update book recommendations
#5195 opened Mar 14, 2024 by fabiomadge Loading…
3
Catch crash on reads with different datatype ordering
#5496 opened May 28, 2024 by stefan-aws Loading…
1
1
Don't define ORDINAL as equal to Box
#5236 opened Mar 21, 2024 by atomb • Draft
chore: add config for PyPI runtime publishing
#5273 opened Mar 28, 2024 by alex-chew Loading…
feat: Call graph specs
#5305 opened Apr 7, 2024 by fabiomadge • Draft
ProTip! Filter pull requests by the default branch with base:master.