Move autoharness_analyzer to `scripts/`#350

Merged

carolynzech merged 7 commits intomodel-checking:mainfrom

carolynzech:autoharness-analyzer-script

May 22, 2025

Commits on May 7, 2025

move autoharness_analyzer to scripts/
Carolyn Zech
committed
fix paths
Carolyn Zech
committed

Commits on May 8, 2025

fix paths in summary md step
Carolyn Zech
committed

Commits on May 12, 2025

Update scripts/autoharness_analyzer/README.md

Carolyn Zech
and
tautschnig
authored

Commits on May 15, 2025

fix expected number of columns
Carolyn Zech
committed
resolve TODO
Carolyn Zech
committed

Commits on May 22, 2025

Merge branch 'main' into autoharness-analyzer-script
Carolyn Zech
authored