Add btor ops for $mul, $div, $mod and $concat
authormakaimann <makaim@stanford.edu>
Mon, 5 Nov 2018 19:49:31 +0000 (11:49 -0800)
committerMakai Mann <makaim@stanford.edu>
Mon, 17 Dec 2018 18:45:17 +0000 (10:45 -0800)
commitabf5930a3325b8ae89f8cbb89a0f963e316c0889
tree947711802b8fee2f6a5774597bb90cf8210d239f
parent847fd360773d72933f1c728dba0755e0033350a6
Add btor ops for $mul, $div, $mod and $concat
backends/btor/btor.cc
backends/btor/test_cells.sh [changed mode: 0644->0755]