Code

Add benchmarks#9

Code

Merged

ericeil merged 18 commits intomainCertora/collections:mainfrom eric/benchmarksCertora/collections:eric/benchmarksCopy head branch name to clipboardOct 27, 2023

+2,141-11

Commits

Commits on Oct 24, 2023

• Set up benchmark project

  ericeil

  committed
  281ebd4

• readme

  ericeil

  committed
  cf0faf4

• cleanup

  ericeil

  committed
  c28035e

• Benchmark TreapSet vs hash

  ericeil

  committed
  d3c6db2

• map comparison

  ericeil

  committed
  5d2d66d

Commits on Oct 25, 2023

• more benchmarks

  ericeil

  committed
  59586f0

• more benchmarks

  ericeil

  committed
  282f421

• More benchmarks

  ericeil

  committed
  4c5794b

• parallelUpdateValues benchmark

  ericeil

  committed
  a42f920

Commits on Oct 26, 2023

• baseline

  ericeil

  committed
  2d86d26

• Sizes

  ericeil

  committed
  41e688f

• graphs and stuff

  ericeil

  committed
  7a1d54f

• More size analysis

  ericeil

  committed
  638773e

• Add ordered persistent sets

  ericeil

  committed
  cf7e19f

• Benchmark improvements

  ericeil

  committed
  6be92c1

• benchmark improvements

  ericeil

  committed
  2e50625

• Fix equals

  ericeil

  committed
  69ad0f9

Commits on Oct 27, 2023

• Get hashTreap* involved

  ericeil

  committed
  6343846