From: Jannis Harder <me@jix.one>
Date: Tue, 21 Jun 2022 08:30:10 +0000 (+0200)
Subject: Merge pull request #3387 from ekiwi/btor-pos-cell
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a30b38910cc49303e4fa3d3c0d7f65647a751cfa;p=yosys.git

Merge pull request #3387 from ekiwi/btor-pos-cell

btor: add support for $pos cell
---

a30b38910cc49303e4fa3d3c0d7f65647a751cfa