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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Research 140: 2b's instruction counts: the workloads' modules the same, ↵	eunhhu	9 days	1	-0/+4
	batches within 0.001% of 2a (BFS +0.36%, within its own runs' spread), the executor alone -1.3% to +0.4% (step's four cases more, mixed signs; -1.31% to +0.59% from before stage 1), the bank's queries -0.66% to +0.05% (four runs each; bar 1%); CHECKPOINT's direction row through 027's 2b