aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/045-proof-compiler/cost.c
Commit message (Expand)AuthorAgeFilesLines
* 045: Pure's answers checked for real (cost.c and where.c compared only the C'...eunhhu25 hours1-18/+11
* 045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...eunhhu25 hours1-0/+132