Skip to content

feat(GenericRAM/Native): depth-first stack recursion with native bounds - #1896

Merged
SamuelSchlesinger merged 3 commits into
mainfrom
claude/t2-native-recursion
Oct 31, 2026
Merged

SamuelSchlesinger merged 3 commits into
mainfrom
claude/t2-native-recursion

feat(PolyTime/Nat): the clock 2^(K n / sqrt(floor(log2 n))) in polyno…

70f4cd5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 2 notices
ci-checks
succeeded Oct 31, 2026 in 4m 24s