aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler/variants/linebreak-keyed2.patch
Commit message (Collapse)AuthorAgeFilesLines
* 045: the app keyed and its range found by a seek, emitted as it says (no ↵eunhhu24 hours1-0/+77
algorithm the app does not state, nothing copied out of the tree): aup takes ranges as a list keyed by last and first(x in ranges where x.last >= code) as its range, the executor answers every line and is itself 40,258 to 27,934 machine instructions a point; the hand rungs on it (the seek by each level's guide keys and the leaf's key column, the found item's fields read from it, the other ranges read by key): keyed_shared 788 a point, end to end 813 with 348 cycles (the position-halving seek of a1382de, another program, 604 with 373 cycles; Vega's C 251 with 93)