Skip to content

Pull requests: dafny-lang/dafny

New pull request New
Clear current search query, filters, and sorts
9 Open 159 Closed
9 Open 159 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: Remove typos in docs
#5529 by fabiomadge was merged Jun 20, 2024 Loading…
fix: Only guard this when eliminating tail calls, if possible
#5524 by fabiomadge was merged Jun 4, 2024 Loading…
1
chore: Double shard count and drop ubuntu-lastest from the nightly build run-deep-tests Tells CI to run all tests
#5518 by fabiomadge was merged Jun 3, 2024 Loading…
2
fix: Ignore values not in a multiset when computing its hash in C# run-deep-tests Tells CI to run all tests
#5497 opened May 28, 2024 by fabiomadge Loading…
1
@fabiomadge
fix: Apply name mangling to datatype names in Python more often
#5476 by fabiomadge was merged May 22, 2024 Loading…
1
fix: Reference the correct this after removing the tail call of a function or method
#5474 by fabiomadge was merged May 24, 2024 Loading…
1
2
fix: Ignore values not in a multiset when computing its hash in C#
#5412 by fabiomadge was merged May 24, 2024 Loading…
1
3
fix: Unguarded enumeration of bound variables in set and map comprehensions
#5402 by fabiomadge was merged May 24, 2024 Loading…
1
2
feat: Call graph specs
#5305 opened Apr 7, 2024 by fabiomadge • Draft
feat: Extended call graph
#5288 opened Apr 3, 2024 by fabiomadge • Draft
fix: Invalid Python code for nested set and map comprehensions
#5287 by fabiomadge was merged Apr 2, 2024 Loading…
1
docs: Update book recommendations
#5195 opened Mar 14, 2024 by fabiomadge Loading…
3
fix: Malformed Python code for some functions involving lambdas
#5093 by fabiomadge was merged Feb 22, 2024 Loading…
1
@fabiomadge
1
fix: Termination override check for certain non-reference trait implementations
#5087 by fabiomadge was merged Feb 14, 2024 Loading…
1
5
chore: Address build warnings
#5080 by fabiomadge was merged Feb 13, 2024 Loading…
2
chore: Disable looking for cached dependencies in Go
#5079 by fabiomadge was merged Feb 22, 2024 Loading…
@fabiomadge
chore: Discontinue generating calls to an obsolete sequence property in C#
#5078 by fabiomadge was merged Feb 12, 2024 Loading…
1
fix: Correct version identifier for ruby/setup-ruby
#5059 by fabiomadge was merged Feb 9, 2024 Loading…
@fabiomadge
fix: Escape names of nested modules in C# and Java
#5049 by fabiomadge was merged Feb 9, 2024 Loading…
1
@fabiomadge
chore: Use M1-based runners
#5044 opened Feb 2, 2024 by fabiomadge • Draft
fix: Adapt additional files to work with more recent Jekyll versions
#5014 by fabiomadge was merged Feb 22, 2024 Loading…
1
@fabiomadge
2
fix: Adapt to work with more recent Jekyll versions
#4981 by fabiomadge was merged Jan 12, 2024 Loading…
1
chore: Use correct configuration
#4970 by fabiomadge was merged Jan 10, 2024 Loading…
Jekyll on Actions
#4967 by fabiomadge was merged Jan 10, 2024 Loading…
chore: Stop producing 4.4 nightlies
#4931 by fabiomadge was merged Jan 3, 2024 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.