Merge pull request #748 from makaimann/add-btor-ops
authorClifford Wolf <clifford@clifford.at>
Tue, 18 Dec 2018 18:59:29 +0000 (19:59 +0100)
committerGitHub <noreply@github.com>
Tue, 18 Dec 2018 18:59:29 +0000 (19:59 +0100)
commit2d73e1b60a43f2a621b387768134b83054f59e89
tree613ccca3d1cfad1d36886867cdf8dfd7ed235347
parenteddf075d934693471f77e92fb2cf687f69a59cb5
parentabf5930a3325b8ae89f8cbb89a0f963e316c0889
Merge pull request #748 from makaimann/add-btor-ops

Add btor ops for $mul, $div, $mod and $concat