From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 12 Feb 2014 22:46:58 +0000 (+0100)
Subject: Merge pull request #26 from ahmedirfan1983/btor
X-Git-Tag: yosys-0.2.0~18^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5;p=yosys.git

Merge pull request #26 from ahmedirfan1983/btor

Btor
---

6b210d2b6f4ec6c2bf9a51d43a75e987e79cc4a5