Skip to content

Recursive list reversal; verification of well-formedness only - #1127

Merged
shazqadeer merged 5 commits into
boogie-org:masterfrom
ankushdas:list-reversal
May 22, 2026
Merged

shazqadeer merged 5 commits into
boogie-org:masterfrom
ankushdas:list-reversal

Merge branch 'master' into list-reversal

29abaa9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings

The logs for this run have expired and are no longer available.