From: Jannis Harder <me@jix.one>
Date: Mon, 25 Apr 2022 14:23:06 +0000 (+0200)
Subject: Merge pull request #3257 from jix/tribuf-formal
X-Git-Tag: yosys-0.17~21
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e0e31bfc5c4e40a64b96990f8875010202d3ca96;p=yosys.git

Merge pull request #3257 from jix/tribuf-formal

tribuf: `-formal` option: convert all to logic and detect conflicts
---

e0e31bfc5c4e40a64b96990f8875010202d3ca96