num_integer: opt-level 3 build + proved opt0/opt3 gcd equivalence - #142

Merged

mfornet merged 6 commits into

mainfrom

gcd-opt3-equivalence

Jul 15, 2026

Commits on Jul 13, 2026

num_integer: add opt-level 3 build and an opt0/opt3 equivalence spec

El3ssar
and
claude
committed
6cc87fa
num_integer: keep only the biconditional equivalence statement

El3ssar
and
claude
committed
1cc56e7

Commits on Jul 14, 2026

codelib: add reusable `ObservationallyEquiv` program-equivalence predicate

El3ssar
and
claude
committed
efb7e51

Commits on Jul 15, 2026