Import pinned PR378 far-retiming source for verified composition - #2

Import pinned PR378 far-retiming source for verified composition#2

applecrusher merged 2 commits into

codex-e8-reuse-extensionapplecrusher/integer-mult-bounds:codex-e8-reuse-extensionfrom

codex-import-pr378applecrusher/integer-mult-bounds:codex-import-pr378Copy head branch name to clipboard