-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: Frame and termination checks are now subject to by-proofs of method calls
#5735
opened Aug 29, 2024 by
fabiomadge
Loading…
docs: The number of left-hand-sides must match the amount of out-parameters
#5661
by fabiomadge
was merged Aug 2, 2024
Loading…
fix: Crash when compiling an empty source file while including testing code
#5638
by fabiomadge
was merged Jul 22, 2024
Loading…
fix: Only guard
this when eliminating tail calls, if possible
#5524
by fabiomadge
was merged Jun 4, 2024
Loading…
chore: Double shard count and drop Tells CI to run all tests
ubuntu-lastest from the nightly build
run-deep-tests
#5518
by fabiomadge
was merged Jun 3, 2024
Loading…
fix: Apply name mangling to datatype names in Python more often
#5476
by fabiomadge
was merged May 22, 2024
Loading…
fix: Reference the correct
this after removing the tail call of a function or method
#5474
by fabiomadge
was merged May 24, 2024
Loading…
fix: Ignore values not in a multiset when computing its hash in C#
#5412
by fabiomadge
was merged May 24, 2024
Loading…
fix: Unguarded enumeration of bound variables in set and map comprehensions
#5402
by fabiomadge
was merged May 24, 2024
Loading…
fix: Invalid Python code for nested set and map comprehensions
#5287
by fabiomadge
was merged Apr 2, 2024
Loading…
fix: Termination override check for certain non-reference trait implementations
#5087
by fabiomadge
was merged Feb 14, 2024
Loading…
chore: Discontinue generating calls to an obsolete sequence property in C#
#5078
by fabiomadge
was merged Feb 12, 2024
Loading…
fix: Adapt to work with more recent Jekyll versions
#4981
by fabiomadge
was merged Jan 12, 2024
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-09-14.