Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Dec 2017 04:26:02 +0000 (05:26 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 9 Dec 2017 04:26:02 +0000 (05:26 +0100)
commitfd83e3442dfe300a865a7566e012eca5df93c339
treebcb8400887834168317ec7bcfe71edab6788f86b
parent68c6675130e381c67977e21f28e2057dbd71a6a5
parent50da3bdbccb8a51c75878787550fc3c72534ce7d
Merge branch 'master' into btor-ng