Files
Abhi Agarwal b351f77e39 feat(bench): add new benchmarking script, harness, and profiling guide (#3840)
# Description

This redoes the merge-based benchmark in crates/benchmark, replacing it
with `divan` as a real harness combined with adding a script that can be
used for profiling.

# Related Issue(s)

Closes #3839 

# Documentation

Documentation is included in the updated README

---------

Signed-off-by: Abhi Agarwal <abhiaagarwal01@gmail.com>
2025-10-13 10:02:35 +00:00

39 lines
681 B
Plaintext

/target
**/target
*.sw*
tlaplus/*.toolbox/*_SnapShot_*/
tlaplus/*.toolbox/*_SnapShot_*.launch
tlaplus/*.toolbox/*.tla.pmap
tlaplus/*.toolbox/*/*.out
tlaplus/*.toolbox/*/*.tla
tlaplus/*.toolbox/*/MC.cfg
tlaplus/*.toolbox/*/[0-9]*-[0-9]*-[0-9]*-[0-9]*-[0-9]*-[0-9]*/
/.idea
.vscode
.env
.venv
venv
**/.DS_Store
**/.python-version
.coverage
*.env
__azurite*
__blobstorage__
.githubchangeloggenerator.cache.log
.githubchangeloggenerator.cache/
.githubchangeloggenerator*
.zed/
# Add all Cargo.lock files except for those in binary crates
Cargo.lock
!/aws/delta-checkpoint/Cargo.lock
!/delta-inspect/Cargo.lock
!/proofs/stateright/Cargo.lock
justfile
site
__pycache__
.zed
.zed/
dat/