feat(Circuit/Boolean/Tableau): linear-size decoder of the succinct tableau (#1539 M3c) by SamuelSchlesinger · Pull Request #2088 · cslib-community/complexitylib

feat(Circuit/Boolean): Tseitin formula of De Morgan gate lists (#1539 M3a)

SamuelSchlesinger

and

claude

committed

1dee1ec

feat(Circuit/Boolean/Tableau): the tableau formula on bit-field labels (#1539 M3b)

SamuelSchlesinger

and

claude

committed

7836768

refactor(Circuit/Boolean): share Op.value across gate evaluators

SamuelSchlesinger

and

claude

committed

5ba1a7b

Merge origin/main into claude/succinct-tableau-1539

SamuelSchlesinger

committed

8bd71f7

Merge claude/succinct-tableau-1539 into claude/succinct-tableau-1539-b

SamuelSchlesinger

committed

288f521

refactor(Circuit/Boolean/Tableau): share the offset decoder and name table components

SamuelSchlesinger

and

claude

committed

56b98c9

feat(Circuit/Boolean/Tableau): linear-size decoder of the succinct tableau (#1539 M3c)

SamuelSchlesinger

and

claude

committed

14bab68

refactor(Circuit/Boolean/Tableau/Decoder): name the chain components; bind table components

SamuelSchlesinger

and

claude

committed

6286b17

Merge remote-tracking branch 'origin/claude/succinct-tableau-1539-b' into claude/succinct-decoder-1539-c

SamuelSchlesinger

committed

121e2f9

Navigation Menu

Repository navigation

feat(Circuit/Boolean/Tableau): linear-size decoder of the succinct tableau (#1539 M3c) - #2088

feat(Circuit/Boolean/Tableau): linear-size decoder of the succinct tableau (#1539 M3c)#2088
SamuelSchlesinger merged 12 commits into
mainfrom
claude/succinct-decoder-1539-c

Commits on Oct 31, 2026

feat(Circuit/Boolean): Tseitin formula of De Morgan gate lists (#1539 M3a)

feat(Circuit/Boolean/Tableau): the tableau formula on bit-field labels (#1539 M3b)

refactor(Circuit/Boolean): share Op.value across gate evaluators

Merge origin/main into claude/succinct-tableau-1539

Merge claude/succinct-tableau-1539 into claude/succinct-tableau-1539-b

refactor(Circuit/Boolean/Tableau): share the offset decoder and name table components

feat(Circuit/Boolean/Tableau): linear-size decoder of the succinct tableau (#1539 M3c)

refactor(Circuit/Boolean/Tableau/Decoder): name the chain components; bind table components

Merge remote-tracking branch 'origin/claude/succinct-tableau-1539-b' into claude/succinct-decoder-1539-c

Commits on Nov 1, 2026

Merge remote-tracking branch 'origin/main' into claude/succinct-decoder-1539-c

refactor(Circuit/Boolean/Tableau): reuse shared APIs in the succinct decoder

refactor(Foundations): move the decoder's bit arithmetic to Nat.Bitwise