Skip to content

Pull requests: dafny-lang/dafny

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

chore(deps): bump rexml from 3.3.2 to 3.3.3 in /docs dependencies Pull requests that update a dependency file ruby Pull requests that update Ruby code
#5663 by dependabot bot was merged Aug 2, 2024 Loading…
docs: The number of left-hand-sides must match the amount of out-parameters
#5661 by fabiomadge was merged Aug 2, 2024 Loading…
1
When using --legacy-data-constructors, add a typeDescriptor method to…
#5659 by keyboardDrummer was merged Aug 1, 2024 Loading…
Fix bad generated Java code when using --legacy-data-constructors
#5657 by keyboardDrummer was merged Jul 31, 2024 Loading…
Fix NRE and add test
#5655 by keyboardDrummer was merged Jul 30, 2024 Loading…
Verification in the IDE now works correctly when declaring nested mod…
#5651 by keyboardDrummer was merged Jul 29, 2024 Loading…
1
3
chore(deps): bump rexml from 3.2.8 to 3.3.2 in /docs dependencies Pull requests that update a dependency file ruby Pull requests that update Ruby code
#5648 by dependabot bot was merged Jul 25, 2024 Loading…
Use a DafnyProject instead of a root file for printing
#5645 by keyboardDrummer was merged Jul 23, 2024 Loading…
fix: Crash when compiling an empty source file while including testing code
#5638 by fabiomadge was merged Jul 22, 2024 Loading…
1
Let measure-complexity output the worst performing verification tasks by resource count
#5631 by keyboardDrummer was merged Jul 24, 2024 Loading…
7
Chore: better compile-time elephant operator
#5614 by MikaelMayer was merged Jul 11, 2024 Loading…
Fix: have test generation return sequences with elements of right type
#5611 by stefan-aws was merged Jul 9, 2024 Loading…
1
1
Equality of Dafny sequences in Python
#5610 by stefan-aws was closed Jul 9, 2024 Loading…
--ignore-warnings flag for test generation
#5609 by stefan-aws was merged Jul 8, 2024 Loading…
2
Fix Nightly: CsharpCodeGenerator.cs run-deep-tests Tells CI to run all tests
#5606 by MikaelMayer was merged Jul 8, 2024 Loading…
Macos13 and indirect c#backend run-deep-tests Tells CI to run all tests
#5601 by keyboardDrummer was merged Jul 5, 2024 Loading…
9
Fix clone function of DecreasesToExpr
#5598 by keyboardDrummer was merged Jul 8, 2024 Loading…
1
1
ci: use macos-13 instead of macos-11
#5596 by alex-chew was closed Jul 5, 2024 • Draft
Refactor codebase in preparation for hide PR
#5594 by keyboardDrummer was merged Jul 4, 2024 Loading…
1
Feat rust classes traits arrays run-integration-tests Forces running the CI for integration tests even if the deep tests fail
#5591 by MikaelMayer was merged Jul 9, 2024 Loading…
2
Optimize compilation of functional-looking assignment RHSs
#5589 by RustanLeino was merged Jul 10, 2024 Loading…
2
8
fix: Clarify error location of inlined is predicates
#5587 by RustanLeino was merged Jul 10, 2024 Loading…
1
1
Fix tests that failed during the 4.7 release
#5581 by atomb was merged Jun 27, 2024 Loading…
Release 4.7.0
#5579 by atomb was merged Jun 27, 2024 Loading…
Update release process
#5578 by atomb was merged Jun 27, 2024 Loading…
ProTip! no:milestone will show everything without a milestone.