Skip to content

Scoped theorem: exact mixed-target UT3 tariffs with arbitrary dirty workspace - #1607

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:codex/ut3-mixed-target-tariffs
Oct 14, 2026
Merged

Scoped theorem: exact mixed-target UT3 tariffs with arbitrary dirty workspace#1607
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:codex/ut3-mixed-target-tariffs

Prove exact tariffs for mixed UT3 register targets

9d61179
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 15, 2026 in 35s