Skip to content

[circt-bmc] Add dbg.trace for BMC counterexample value tracking#10747

Open
5iri wants to merge 1 commit into
llvm:mainfrom
5iri:dbg-trace
Open

[circt-bmc] Add dbg.trace for BMC counterexample value tracking#10747
5iri wants to merge 1 commit into
llvm:mainfrom
5iri:dbg-trace

Add dbg.trace for BMC counterexample value tracking

4fb8df5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Sanity Check
succeeded Jul 1, 2026 in 33s