aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler
Commit message (Expand)AuthorAgeFilesLines
* 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