aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
Commit message (Expand)AuthorAgeFilesLines
* 029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ...eunhhu3 days1-0/+25
* 045: where the machine instructions go, by mechanism (where.c samples the add...eunhhu3 days6-0/+514
* 029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2...eunhhu3 days1-0/+35
* 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...eunhhu3 days16-0/+607