[mlir][SMT] upstream `SMT` dialect#131480

makslevental merged 10 commits intollvm:mainllvm/llvm-project:mainfrom

makslevental:makslevental/upstream-smtmakslevental/llvm-project:makslevental/upstream-smtCopy head branch name to clipboard