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

	Commit message (Expand)	Author	Age	Files	Lines
*	Research 140, 027's stage 1 measured: SHA-256 written in aup (its examples/sh...	eunhhu	8 days	4	-0/+218
*	Research 140: a suite of eleven specs from different fields (DNS, SHA-256, in...	eunhhu	8 days	12	-0/+74