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

	Commit message (Expand)	Author	Age	Files	Lines
*	040 forms.c: matmul's inner loop in the forms the tier may make it (index 20....	eunhhu	2026-10-05	2	-0/+93
*	040: the suite on 4bedd7f (11 rounds' medians, Pure / C): roots 1.58, knapsac...	eunhhu	2026-10-05	2	-0/+217
*	040: TPC-C and the bank's queries against 6b45806 (023's criterion for the ap...	eunhhu	2026-10-05	28	-1/+136
*	Research 124's floors: each workload by hand as Pure could run it (its lists'...	eunhhu	2026-10-05	5	-186/+987
*	Research 124's suite at 6b45806: Pure against C 3.3x (roots), 300x (knapsack)...	eunhhu	2026-10-05	2	-0/+217
*	Research 124's suite: seven kinds of work in one event each (roots, knapsack,...	eunhhu	2026-10-05	8	-0/+568