Skip to content

Record push/pop operations and refactor proof query tracking#975

Draft
jcp19 wants to merge 3 commits into
benchmarks-scionfrom
claude/record-solver-metadata-s7iC1
Draft

Record push/pop operations and refactor proof query tracking#975
jcp19 wants to merge 3 commits into
benchmarks-scionfrom
claude/record-solver-metadata-s7iC1

Add HeapInfeasibility category; require kind from checkSmoke callers

650316d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar