pure - Fast, lightweight verified computation and deterministic execution runtime.

	Commit message (Expand)	Author	Age	Files	Lines
*	045: UAX #14's whole app emitted by hand, the chain (app.c, app-way.h: on lin...	eunhhu	3 days	4	-0/+703
*	045: range() emitted by hand, Pure's meaning kept or dropped where the proof ...	eunhhu	3 days	3	-0/+297
*	045: Pure's answers checked for real (cost.c and where.c compared only the C'...	eunhhu	3 days	3	-23/+33
*	029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ...	eunhhu	3 days	1	-0/+25
*	045: where the machine instructions go, by mechanism (where.c samples the add...	eunhhu	3 days	6	-0/+514
*	029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2...	eunhhu	3 days	1	-0/+35
*	045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...	eunhhu	3 days	16	-0/+607