cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)#6560

Open

Russoul wants to merge 9 commits into

russoul/recon-grep

Commits on May 11, 2026

Get rid of TextFree IR
Russoul
committed
Implement a `ContinuousFormula` for filtering events by formula conformance
Russoul
committed
cardano-recon-framework: Add cardano-recon-grep and ContinuousFormula (v1.2.0)
Russoul
committed
cardano-recon-grep: support reading traces from stdin when --traces is omitted
Russoul
committed
cardano-recon: add --grep flag for machine-readable negative outcome output
Russoul
committed
cardano-recon: --grep bypasses trace-dispatcher; add ContextDump trace message
Russoul
committed
cardano-recon: update README and CHANGELOG for --grep and ContextDump
Russoul
committed
Apply review suggestion regarding the cabal file
Russoul
committed

Commits on May 12, 2026

cardano-recon: address review comments (formatting, camelCase JSON keys)

Russoul
authored and
mgmeier
committed