[HWToBTOR2] Add support for (most) variadic ops#9155

Merged

TaoBi22 merged 4 commits intollvm:mainfrom

TaoBi22:btor2-variadics

Oct 31, 2025

Commits on Oct 29, 2025

Commits on Oct 30, 2025

empty commit to re-trigger CI
TaoBi22
committed

Commits on Oct 31, 2025

Drop outdated comment and tweak string formatting
TaoBi22
committed