Add btor $shift/$shiftx support
authorClifford Wolf <clifford@clifford.at>
Mon, 11 Dec 2017 13:24:19 +0000 (14:24 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 11 Dec 2017 13:24:19 +0000 (14:24 +0100)
commit82d1fd77de31aece7b8a4f31fa53cb9dda2ec5f6
tree9ca6792bf3517a9aecf7819971b9d369e6a804b0
parentcc119b5232a7f9aa201595d32b08e4e6f519dd3c
Add btor $shift/$shiftx support
backends/btor/btor.cc
backends/btor/test_cells.sh