Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Thu, 23 Nov 2017 08:00:22 +0000 (09:00 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 23 Nov 2017 08:00:22 +0000 (09:00 +0100)
commit388e7a774001383cb92ed303f45f1325f5dc632f
tree1e38ea55ce621ecc2ad2467903fe9bbc74a4e815
parente41dcaa7594e501d24852ca29e3c699d85c394bf
parent494a6f79492d871adae7af10d3d173454b3ecb21
Merge branch 'master' into btor-ng