Skip to content

CQ-SAT/GCC v0.5.0

Choose a tag to compare

View all tags
@kabudu kabudu released this 17 Jul 05:47
v0.5.0
b6d9354

CQ-SAT/GCC v0.5.0 turns the exact AIGER verifier into a product-facing firmware CI gate.

Highlights:

  • distinct exit statuses for safe builds, discovered violations, and tool failures
  • GitHub Actions annotations plus stable safety-report and solver-metrics artifacts
  • a copyable pull-request workflow
  • a realistic infusion-pump controller example with a passing build and a deliberate door-interlock regression
  • shortest counterexample trace for immediate developer replay

The product example demonstrates integration mechanics and exact bounded verification of the supplied model. It is not medical-device software or certification evidence.

Assets 2
Loading