[LTL] Make PastOp clock operand mandatory#10392

TaoBi22 wants to merge 1 commit intomainllvm/circt:mainfrom

TaoBi22/ltl-pastop-mandatory-clkllvm/circt:TaoBi22/ltl-pastop-mandatory-clkCopy head branch name to clipboard