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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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)