i#6662 public traces: add signal and uncompleted instr invariants#7154

Merged

edeiana merged 3 commits intomasterfrom i6662-regdeps-invariants-signal-uncompleted

Dec 18, 2024

+69-29

Commits on Dec 18, 2024