Skip to content

Pull requests: dafny-lang/dafny

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

Add some attribute tests
#5083 opened Feb 13, 2024 by keyboardDrummer Loading…
Two phase build run-deep-tests Tells CI to run all tests
#5060 opened Feb 6, 2024 by robin-aws • Draft
2
chore: Use M1-based runners
#5044 opened Feb 2, 2024 by fabiomadge • Draft
Better summary of verification
#5040 opened Feb 1, 2024 by keyboardDrummer • Draft
1
ci: pin Pandoc to 3.1.9
#4993 opened Jan 17, 2024 by alex-chew • Draft
Split the assumptions coming from compound assertions
#4927 opened Jan 3, 2024 by atomb • Draft
@atomb
Move standard library into the runtime
#4877 opened Dec 13, 2023 by keyboardDrummer • Draft
Add GoLang to the replaceable complex test case
#4856 opened Dec 8, 2023 by keyboardDrummer Loading…
HashMap
#4757 opened Nov 9, 2023 by keyboardDrummer • Draft
Syncing RDE Work
#4745 opened Nov 6, 2023 by ssomayyajula Loading…
@ssomayyajula
7
Mutable map
#4741 opened Nov 6, 2023 by keyboardDrummer • Draft
Set library back-end to stable
#4730 opened Oct 31, 2023 by keyboardDrummer Loading…
1
Use Module Name in identifying a let-such-that expression
#4718 opened Oct 27, 2023 by Dargones • Draft
1
Module-level options
#4598 opened Sep 29, 2023 by zafer-esen • Draft
@atomb
Reduce Lit function usage where possible
#4596 opened Sep 29, 2023 by zafer-esen • Draft
@atomb
Hover without gutter icon manager
#4583 opened Sep 26, 2023 by keyboardDrummer • Draft
Update Installation.md's Mac instructions
#4579 opened Sep 24, 2023 by parno Loading…
ci: Test Rust compiler more in CI
#4576 opened Sep 22, 2023 by robin-aws • Draft
1
Feature: Gentoo tweaks
#4561 opened Sep 18, 2023 by xgqt Loading…
Fix help message for the --cores option
#4548 opened Sep 13, 2023 by ChristopherBrix Loading…
1
Split prelude axiomatizations and native theory mode for sequences
#4537 opened Sep 11, 2023 by zafer-esen • Draft
Chore: Update documentation about arrow types
#4521 opened Sep 6, 2023 by MikaelMayer Loading…
Show logger output when running unit tests in non-debug mode in the r…
#4511 opened Sep 4, 2023 by keyboardDrummer • Draft
Chore: detect when a bug was fixed
#4421 opened Aug 15, 2023 by MikaelMayer Loading…
1
@MikaelMayer
Remove legacy symbol table to improve server responsiveness for large projects
#4420 opened Aug 15, 2023 by keyboardDrummer Loading…
4
ProTip! Follow long discussions with comments:>50.