Merge branch 'master' into btor-ng
authorClifford Wolf <clifford@clifford.at>
Mon, 27 Nov 2017 18:45:15 +0000 (19:45 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 27 Nov 2017 18:45:15 +0000 (19:45 +0100)
commit10cb5172a351fefa875c1ec459aa49ba21325c1d
tree3f5ccdc8ec513adb560a01f4a2d9b7bc7dee186a
parentb981e5aa6904954dbb89a0d1321f65719601c029
parentda91b31bb242bb947533702ac7484773fa3f3d57
Merge branch 'master' into btor-ng