2 commits

Author	SHA1	Message	Date
Leon Zhao	fffd49b5fa	Use fractional index to order the children of the tree (#298) ... * feat: fractional index --------- Co-authored-by: Zixuan Chen <remch183@outlook.com>	2024-05-07 14:01:13 +08:00
Leon Zhao	a47cf06712	Refactor fuzzing test (#271) ... * feat: new fuzz test * test: add arbtest * fix: remove PROPTEST_FACTOR	2024-03-08 16:40:06 +08:00