PR: feat: tagma hardware fixture specs, decode projector, and coverage gate #47 - #49

Merged

metasmile merged 10 commits into

mainfrom

47-tagma-fixture-specs

Aug 23, 2026

Commits on Aug 23, 2026

feat: add tagma decoder and demo top fixture specs #47
metasmile
committed
811cd6c
test: add lib-level tagma fixture tests #47
metasmile
committed
46e60a1
ci: add llvm-cov coverage gate with 80% thresholds #47
metasmile
committed
53e007d
ci: cover spike and yosys backends in the coverage gate #47
metasmile
committed
798774d
ci: harden coverage gate with tool check and threshold variable #47
metasmile
committed
cc723cf
feat: add tagma_decode projector for the decoder decomposition #46
metasmile
committed
b10eab7
test: un-ignore cva6 xif r4 CLI fixture test #47
metasmile
committed
59f4cef
fix: address inline review on coverage pull policy, sv comment, and README reconciliation #47
metasmile
committed
0685f8b
merge: resolve PR #49 conflicts with the structural CLI integration #47
metasmile
committed
c2da305
fix: full-clean instrumented build dir in coverage gate #47
metasmile
committed
b2ca5ef