aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
Commit message (Expand)AuthorAgeFilesLines
* 047: "the leaf is the commit" (feedback 009) set up before it runs: today's s...eunhhu22 hours1-1/+1
* 045: the app keyed and its range found by a seek, emitted as it says (no algo...eunhhu22 hours4-8/+373
* 045: feedback 009's zero copy measured: ranges read where its tree keeps it i...eunhhu22 hours3-14/+163
* 045, 029: a message end to end, the event's border written by hand too (app.c...eunhhu23 hours2-2/+149
* 045: UAX #14's whole app emitted by hand, the chain (app.c, app-way.h: on lin...eunhhu23 hours4-0/+703
* 045: range() emitted by hand, Pure's meaning kept or dropped where the proof ...eunhhu24 hours3-0/+297
* 045: Pure's answers checked for real (cost.c and where.c compared only the C'...eunhhu24 hours3-23/+33
* 029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ...eunhhu24 hours1-0/+25
* 045: where the machine instructions go, by mechanism (where.c samples the add...eunhhu24 hours6-0/+514
* 029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2...eunhhu24 hours1-0/+35
* 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...eunhhu25 hours16-0/+607