Skip to content

Add --export-json for structured verification results - #4472

Merged
feliperodri merged 86 commits into
model-checking:mainfrom
yimingyinqwqq:main
Aug 12, 2026
Merged

Add --export-json for structured verification results#4472
feliperodri merged 86 commits into
model-checking:mainfrom
yimingyinqwqq:main

Fix zero-harness exports, --no-codegen, solver consistency and valida…

81b7ea3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 12, 2026 in 7s