From: Ahmed Irfan <irfan@levert.(none)>
Date: Fri, 3 Apr 2015 14:34:05 +0000 (+0200)
Subject: Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor
X-Git-Tag: yosys-0.6~367^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8acdd90bc918b780ad45cdac42b3baf84d2cc476;p=yosys.git

Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor
---

8acdd90bc918b780ad45cdac42b3baf84d2cc476