Skip to content

Conversation

@oskgo
Copy link
Contributor

@oskgo oskgo commented Dec 18, 2025

Fixes #850, which was caused by a typo in the old pattern where the left and right memory were in the wrong place. In the more robust pattern the left memory is always on the left and the right is always on the right, making it harder to make such mistakes.

@oskgo oskgo force-pushed the robust-ss-to-ts-casts branch from a1f39bc to b79c6c0 Compare December 18, 2025 14:05
@strub strub force-pushed the robust-ss-to-ts-casts branch from b79c6c0 to c4bdfcb Compare December 19, 2025 09:04
@strub strub enabled auto-merge (rebase) December 19, 2025 09:07
@strub strub self-assigned this Dec 19, 2025
@strub strub merged commit 4fc8b63 into main Dec 19, 2025
15 checks passed
@strub strub deleted the robust-ss-to-ts-casts branch December 19, 2025 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Assertion failure in conseq equiv phoare with equiv in goal

3 participants