Christoph J. Scherr b96c0a5d89 simple benchmarks		2024-01-10 16:53:50 +01:00
..
criterion_ex	simple benchmarks	2024-01-10 16:53:50 +01:00
revsqrt	simple benchmarks	2024-01-10 16:53:50 +01:00