75b5c8b0aa
This PR adds a benchmark for the persistent hashmap, in particular also covering the non linear insert case which is often hit in practical uses. Furthermore the same test case is also added to the treemap benchmark. |
||
|---|---|---|
| .. | ||
| bench | ||
| compiler | ||
| elabissues | ||
| ir | ||
| lean | ||
| pkg | ||
| playground | ||
| plugin | ||
| simpperf | ||
| .gitignore | ||
| common.sh | ||
| lakefile.toml | ||
| lean-toolchain | ||