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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Measure computing faster: a search 2.1 times as fast, TPC-C 4.1%, four ↵	eunhhu	2026-10-04	66	-0/+399
\| \| \| \|	fingers found and undone (121)
*	Wait for a counter before searching in bfs-run, and the runs of research 121	eunhhu	2026-10-04	2	-0/+67
\|
*	Say where a search's time goes and how to make it and long views fast, with ↵	eunhhu	2026-10-04	1	-0/+83
	criteria (020)