Matthias Benkort
28d2ee7186
Delete examples/benchmarks/.github/workflows/tests.yml
2024-07-17 12:52:29 +02:00
KtorZ
f14dab9547
Collect results from previous versions in a README.
2024-07-17 12:52:29 +02:00
KtorZ
5b0a1716b5
Fix mk_starts and second_last in knights benchmarks.
...
mk_starts was not yielding enough values. It's originally a translation of a double list comprehension in Haskell, which cannot simply be translated to a map2. The latter combine elements two by two, but the former works through all possible permutations.
2024-07-17 12:52:29 +02:00
KtorZ
65afb11546
Implement quicksort on chess board.
...
Note that it might be easier / cheaper to serialize and compare bytes?
2024-07-17 12:52:29 +02:00
KtorZ
f2ff9a2ee3
Review knights benchmark and update dependencies.
2024-07-17 12:52:29 +02:00
microproofs
1d16cbf386
more benchmark work
2024-07-17 12:52:29 +02:00
microproofs
c62821e02a
continue porting over knights example
2024-07-17 12:52:29 +02:00
microproofs
8f825f68b1
commit new example for benchmarking
2024-07-17 12:52:28 +02:00
