Code

[SMT] Add bv2int op#8049

Code

Merged

TaoBi22 merged 5 commits intollvm:mainllvm/circt:mainfrom TaoBi22:smt-add-bv2int-opTaoBi22/circt:smt-add-bv2int-opCopy head branch name to clipboardJan 10, 2025

+108-7

Commits

Commits on Jan 9, 2025

• [SMT] Add bv2int op

  TaoBi22

  committed
  9f337bc

  Copy full SHA for 9f337bc

Commits on Jan 10, 2025

• Update summary & description and 80 col wrapping

  TaoBi22

  committed
  1050533

  Copy full SHA for 1050533

• Update unsupported error message

  TaoBi22

  committed
  7817bec

  Copy full SHA for 7817bec

• Add FIXME about i1 usage

  TaoBi22

  committed
  c2d3fc6

  Copy full SHA for c2d3fc6

• Make is_signed a UnitAttr

  TaoBi22

  committed
  19a4e67

  Copy full SHA for 19a4e67