Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Fri, 24 Nov 2017 17:14:53 +0000 (18:14 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 24 Nov 2017 17:14:53 +0000 (18:14 +0100)
commit66f2d10822a37dd4c7d9af36de9faf90cb412b6e
treec3b0446b37da1601536d0033a8638e11c94092bf
parente3a51b3e876e1bf41cf2e66d66a0e793b8e658d6
parent203c2dae3cdd255956d5db23d28f241eeca21612
Merge branch 'master' into btor-ng