Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 02:13:47 +0000 (03:13 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 02:13:47 +0000 (03:13 +0100)
commit162c29bd6b2ceebb0e9ce32dc45ab7ed18abd42e
treecb155dd398365d47e48beb908678fc1db9233e08
parenta48ec49017a8a792841cf486167c643db23eeb22
parent9419de3e371451f7f0eb51e89cab3fa8bebba26c
Merge branch 'master' into btor-ng