From: whitequark <whitequark@whitequark.org>
Date: Tue, 24 Nov 2020 15:04:42 +0000 (+0000)
Subject: Merge pull request #2428 from whitequark/check-processes
X-Git-Tag: working-ls180~193
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc085761e688f11c2a28ce0f1aada9847decf51b;p=yosys.git

Merge pull request #2428 from whitequark/check-processes

check: add support for processes
---

bc085761e688f11c2a28ce0f1aada9847decf51b