Skip to content

Make abstract phoare proc use a >= 1#887

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

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

Commits

Commits on Feb 6, 2026