Skip to content

Add verification groups: agent-declared parallel prover runs with per-group summarization - #207

Closed
jar-ben wants to merge 13 commits into
masterfrom
jaroslav/verification-groups
Closed

Add verification groups: agent-declared parallel prover runs with per-group summarization#207
jar-ben wants to merge 13 commits into
masterfrom
jaroslav/verification-groups

grouping: dedup post-run bookkeeping, name STUCK_STATUSES, tidy comments

3adc9a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar