Skip to content

feat(Machines): zip transducer kernel for linear-time two-operand functions (#608) - #1649

Merged
SamuelSchlesinger merged 2 commits into
cslib-community:mainfrom
chris-ai1:feat/zip-transducer-kernel-608
Oct 29, 2026
Merged

SamuelSchlesinger merged 2 commits into
cslib-community:mainfrom
chris-ai1:feat/zip-transducer-kernel-608

refactor(Machines): derive both binary_lt certificates from the linea…

1724ef1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 29, 2026 in 30m 42s