Merge branch 'btor-ng'
authorClifford Wolf <clifford@clifford.at>
Fri, 15 Dec 2017 01:21:56 +0000 (02:21 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 15 Dec 2017 01:21:56 +0000 (02:21 +0100)
commit8e22e8118a2a8b13bb24270862af37d93f53dbe8
treed51fb4f431eb2aa0dca9c92cb4b8838660d05a16
parent9419de3e371451f7f0eb51e89cab3fa8bebba26c
parent30f23281edc19c3191fadd9d4de668a15f5e46d7
Merge branch 'btor-ng'