From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 17 Oct 2018 10:18:57 +0000 (+0200)
Subject: Merge pull request #663 from aman-goel/master
X-Git-Tag: yosys-0.9~446
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4ad05e133ce60f514b5fe6c5264acf5c17ce728;p=yosys.git

Merge pull request #663 from aman-goel/master

Update to .smv backend
---

f4ad05e133ce60f514b5fe6c5264acf5c17ce728