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

	Commit message (Expand)	Author	Age	Files	Lines
*	Research 140, 027's stage 3 measured: a board of columns of cards of tags (au...	eunhhu	47 hours	1	-0/+60
*	Research 140, 027's stage 2c measured: JSON read into a tree by recursive des...	eunhhu	48 hours	1	-0/+65
*	Research 140: 2b's instruction counts: the workloads' modules the same, batch...	eunhhu	7 days	1	-0/+8
*	Research 140, 027's stage 2b measured: JSON read into a tree (aup's examples/...	eunhhu	7 days	1	-0/+46
*	Research 140: 2a's instruction counts: the workloads' modules the same, the e...	eunhhu	7 days	1	-0/+12
*	Research 140, 027's stage 2a measured: whether bytes are JSON (aup's examples...	eunhhu	7 days	1	-0/+41
*	Research 140: stage 1's instruction counts: the workloads' modules byte for b...	eunhhu	7 days	1	-1/+15
*	Research 140, 027's stage 1 measured: SHA-256 written in aup (its examples/sh...	eunhhu	7 days	1	-0/+60
*	Research 140: a suite of eleven specs from different fields (DNS, SHA-256, in...	eunhhu	7 days	1	-0/+130