Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 01:17:01 +0000 (02:17 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 01:17:01 +0000 (02:17 +0100)
commita48ec49017a8a792841cf486167c643db23eeb22
treee1ec8f80c4c000275ca7e1c219947ea234cf6bf9
parent546de7fa4fbd1b54e125fac06b588dbecfb033e0
parent590e6961cb2ff352c2c01d5fcf6307db95d37129
Merge branch 'master' into btor-ng