Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Sun, 10 Dec 2017 00:27:41 +0000 (01:27 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 10 Dec 2017 00:27:41 +0000 (01:27 +0100)
commit8069118e6e0277fd9f020754d02046d7a7d761f3
treee03181e3805b234912a0495850623668413332f8
parent63343aeaaa96d947695ac624f7942cc60b0e9e0f
parentba90e08398e3068a525c3704a069182a365474e8
Merge branch 'master' into btor-ng