Skip to content

Prove a last-call obstruction for simple BIT support graphs - #5456

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/bit-simple-graph-obstruction-20261024
Oct 25, 2026
Merged

Prove a last-call obstruction for simple BIT support graphs#5456
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/bit-simple-graph-obstruction-20261024

Prove the BIT simple-support-graph obstruction

0d64d4d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 24, 2026 in 3m 59s