update artifact README and scripts - #9

Merged

pleich merged 3 commits into

Apr 22, 2026

Commits on Apr 20, 2026

improve artifact evaluation README, fix eval scripts
pleich
committed

Commits on Apr 21, 2026

fit artifact README to CAV guidelines, add ByMC smoke tests
pleich
committed

Commits on Apr 22, 2026

small grammar fixes
pleich
committed