Skip to content

COLEMAN 4.12.0 — Inspect constructed C faults with an oracle

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Oct 18:18
· 76 commits to main since this release
v4.12.0
358261e

Extend controlled CI research to a bounded C source workflow, with pinned compilation and an independent arithmetic oracle.

Highlights

  • Capture original NIST Juliet functions in a declared GCC container profile.
  • Retain raw process evidence, observer context and distinctions between expected arithmetic behavior and observed execution.
  • Reopen completed observations offline and recover interrupted collection without inventing successful tests.

Compatibility

Requires Python 3.14 or later. The producer is optional and leaves native TCPCI workflows unchanged. These are constructed weaknesses, not historical industrial fault observations.

Get started

Install this release's attached wheel in a virtual environment:

python -m pip install "https://github.com/jacksonpradolima/coleman/releases/download/v4.12.0/coleman-4.12.0-py3-none-any.whl#sha256=5802f83dfa4608a979f132e6e00ea3d8a128c88f4b7bbde07afcd416c33df55e"

The assets also include the source archive, Sigstore verification bundles and an SBOM. The dependency lock is attached as well.

Versioned guide · Source at v4.12.0 · Full changelog

Assets 8
Loading