Skip to content

Paired bit-output fusion and verified lifetime reuse: conditional κ = 5.96818007e-4 - #170

Draft
huxint wants to merge 2 commits into
CrocSwap:mainfrom
huxint:research/paired-cube-frame-descent
Draft

huxint wants to merge 2 commits into
CrocSwap:mainfrom
huxint:research/paired-cube-frame-descent

Add paired output merging and compensated lifetime reuse certificate

29892e2
Select commit
Loading
Failed to load commit list.