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

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