pure - Verified execution runtime unifying state, persistence, and replication.

	Commit message (Expand)	Author	Age	Files	Lines
*	045: Pure's answers checked for real (cost.c and where.c compared only the C'...	eunhhu	28 hours	1	-5/+21
*	045: where the machine instructions go, by mechanism (where.c samples the add...	eunhhu	28 hours	1	-0/+131