Merge pull request #3387 from ekiwi/btor-pos-cell
authorJannis Harder <me@jix.one>
Tue, 21 Jun 2022 08:30:10 +0000 (10:30 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Jun 2022 08:30:10 +0000 (10:30 +0200)
commita30b38910cc49303e4fa3d3c0d7f65647a751cfa
tree748c9b54692d6c8cef56155b920f25e0ceda607d
parent0b486c56e844f7645a34f58717e89b589cc276d3
parentde5c4bf52320e1c19d79a13fcbe303f590d531c0
Merge pull request #3387 from ekiwi/btor-pos-cell

btor: add support for $pos cell