Andreas Huber 46070a31b9 add block size to the header of a PersistentMap and optimize storage ...

usage for monotonically incrementing keys.

2020-10-17 10:13:46 +02:00

..

blockstorage

apply new code formatter and save action

2019-11-24 10:20:43 +01:00

diskstorage

count disk reads

2020-09-20 19:51:47 +02:00

map

add block size to the header of a PersistentMap and optimize storage

2020-10-17 10:13:46 +02:00