.gitignore

/.build/*
.envrc
.kompile*
.kprove*
.krun*
/media/*.pdf
/optimizer/*.json
/optimizer/*.k
/package/pkg
/package/src
/pkg
/tests/**/*.debug-log
/tests/**/*.rule-profile
/tests/specs/foundry/*.out
/tests/specs/**/haskell
/tests/specs/**/java
/tests/specs/opcodes/evm-optimizations-spec.md
/tests/specs/**/*.prove.out
/tests/specs/**/*.sol.json
# Claim-parse caches dropped next to each spec by `kevm prove` — regenerated, never committed.
/tests/specs/**/*-spec.json
/tests/execution-spec-tests/fixtures
/tests/vm/*.out
.DS_Store
.idea/
.vscode/

# Raw artifacts from backend performance / booster-dev comparison runs.
# Kept in-repo for discoverability; the summarised report is committed under
# docs/experiment-logs/ instead.  See CLAUDE.md "Comparing haskell-backend builds".
/perf-runs/

# Per-spec backend log bundles written by the test harness --haskell-logging default.
*.analysis/