Code

write_btor: support $buf#4711

Code

Open

georgerennie wants to merge 2 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom georgerennie:george/btor_bufgeorgerennie/yosys:george/btor_bufCopy head branch name to clipboard

+3-3

Commits

Commits on Nov 6, 2024

• write_btor: support $buf

  Show description for 9047290
  georgerennie

  committed
  9047290

Commits on Nov 15, 2024

• write_btor: support $_BUF_

  georgerennie

  committed
  d7c6688