Code

[circt-bmc] Add circt-bmc tool#7621

Code

Merged

TaoBi22 merged 4 commits intollvm:mainllvm/circt:mainfrom TaoBi22:add-circt-bmc-toolTaoBi22/circt:add-circt-bmc-toolCopy head branch name to clipboardSep 25, 2024

+462-1

Commits

Commits on Sep 24, 2024

• Add circt-bmc tool

  Show description for 0981acf
  

  TaoBi22

  and

  maerhart

  committed
  0981acf

Commits on Sep 25, 2024

• Fix duplicated CMake dep & tool file fixes

  TaoBi22

  committed
  14b37e0

• Correct second object file misnomer

  TaoBi22

  committed
  53efe54

• Add seq error test

  TaoBi22

  committed
  e8b4c6c