From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 15 Jul 2019 18:04:00 +0000 (+0200)
Subject: Merge pull request #1191 from whitequark/opt_lut-log_debug
X-Git-Tag: working-ls180~1197
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=196c9c22b2e1811250e8ddc949b740c0c4c0f2cb;p=yosys.git

Merge pull request #1191 from whitequark/opt_lut-log_debug

Make opt_lut less chatty
---

196c9c22b2e1811250e8ddc949b740c0c4c0f2cb