tacasv2a: --slice that keeps the suite valid (reach + assert) - #67

Closed

GuilhermeBn198 wants to merge 9 commits into

tacas/aflppfrom

Commits on Sep 27, 2026

docs(tacasv2a): design spec — slicing for reach/assert that keeps the suite valid

GuilhermeBn198
and
claude
committed
a12ac9b
docs(tacasv2a): implementation plan

GuilhermeBn198
and
claude
committed
83ec67c
feat(tacasv2a): pure slicing helpers -- criteria, stub, statistics

GuilhermeBn198
and
claude
committed
74ecf4a
fix(tacasv2a): slice without cutoff and keep every nondet read

GuilhermeBn198
and
claude
committed
336a26d
feat(tacasv2a): --slice in assert mode

GuilhermeBn198
and
claude
committed
c36a532
docs(tacasv2a): diagnostic sample re-run on the implementation

GuilhermeBn198
and
claude
committed
75bdefd
fix(tacasv2a): take the nondet names from the program as well

GuilhermeBn198
and
claude
committed
ffad3e5
ci: run the PR gates on PRs stacked on tacas/** branches

GuilhermeBn198
and
claude
committed
0b0e855
Revert "ci: run the PR gates on PRs stacked on tacas/** branches"

GuilhermeBn198
and
claude
committed
8eb66b3