Code

feat: benchmark setup#183

Code

Merged

shigoel merged 17 commits intoleanprover:mainleanprover/LNSym:mainfrom alexkeizer:setup-benchmarksalexkeizer/LNSym:setup-benchmarksCopy head branch name to clipboardSep 26, 2024

+150-10

Commits

Commits on Sep 12, 2024

• feat: Benchmarks module

  alexkeizer

  committed
  aa22a82

  Copy full SHA for aa22a82

• reduce the number of spots we trace the heartbeats for, to make the output more legible

  alexkeizer

  committed
  9d0cb6a

  Copy full SHA for 9d0cb6a

• enable heartbeat tracing for benchmarks

  alexkeizer

  committed
  9cf58ab

  Copy full SHA for 9cf58ab

• include timing info, add 400 step benchmark

  alexkeizer

  committed
  8fb0748

  Copy full SHA for 8fb0748

Commits on Sep 16, 2024

• Merge branch 'main' into setup-benchmarks

  alexkeizer

  committed
  f0527e7

  Copy full SHA for f0527e7

Commits on Sep 23, 2024

• feat: benchmark command to report the average runtime of 5 runs

  alexkeizer

  committed
  fdbb531

  Copy full SHA for fdbb531

• feat: logHeartbeats tactic combinator

  alexkeizer

  committed
  e48e3ee

  Copy full SHA for e48e3ee

• Merge branch 'main' into setup-benchmarks

  alexkeizer

  authored
  35caf5a

  Copy full SHA for 35caf5a

• use range syntax

  Show description for 9744c87
  

  alexkeizer

  and

  bollu

  authored
  9744c87

  Copy full SHA for 9744c87

• report geomean also

  Show description for 3535647
  

  alexkeizer

  and

  bollu

  authored
  3535647

  Copy full SHA for 3535647

Commits on Sep 25, 2024

• Merge branch 'main' into setup-benchmarks

  alexkeizer

  committed
  b2f3f48

  Copy full SHA for b2f3f48

• chore: document benchmarks target

  alexkeizer

  committed
  ea66996

  Copy full SHA for ea66996

• chore: add benchmarks to CI

  alexkeizer

  committed
  4143821

  Copy full SHA for 4143821

• fix: ensure the warning in inferStatePrefixAndNumber actually interpolates state as a variable

  alexkeizer

  committed
  a22345b

  Copy full SHA for a22345b

• chore: suppress warning about state in the benchmarks

  Show description for 7ae8b4d
  alexkeizer

  committed
  7ae8b4d

  Copy full SHA for 7ae8b4d

• chore: add copyright header

  alexkeizer

  committed
  ed64830

  Copy full SHA for ed64830

Commits on Sep 26, 2024

• Merge branch 'main' into setup-benchmarks

  shigoel

  authored
  096d180

  Copy full SHA for 096d180