Skip to content

Pull requests: dafny-lang/dafny

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

Module-level options
#4598 opened Sep 29, 2023 by zafer-esen • Draft
@atomb
ci: pin Pandoc to 3.1.9
#4993 opened Jan 17, 2024 by alex-chew • Draft
fix: Don’t flag extern functions with {:axiom} as assumptions
#4979 opened Jan 12, 2024 by robin-aws Loading…
1
5
Add a link to the documentation
#4959 opened Jan 9, 2024 by keyboardDrummer Loading…
1
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
Follow-up changes related to BoundedInts
#4740 opened Nov 6, 2023 by keyboardDrummer Loading…
2
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
Remove legacy symbol table to improve server responsiveness for large projects
#4420 opened Aug 15, 2023 by keyboardDrummer Loading…
4
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
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…
@atomb
12
Chore: detect when a bug was fixed
#4421 opened Aug 15, 2023 by MikaelMayer Loading…
1
@MikaelMayer
ProTip! Add no:assignee to see everything that’s not assigned.