Skip to content

Make abstract phoare proc use a >= 1#887

Merged
oskgo merged 1 commit into
mainfrom
weaken-phoare-abs-proc
Feb 6, 2026
Merged

Make abstract phoare proc use a >= 1#887
oskgo merged 1 commit into
mainfrom
weaken-phoare-abs-proc

Allow phoare proc on >= 1 bounds and make postcondition side goal use…

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

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