From: Claire Xen <claire@clairexen.net>
Date: Mon, 5 Jul 2021 14:59:37 +0000 (+0200)
Subject: Merge pull request #2835 from YosysHQ/verific_command
X-Git-Tag: yosys-0.10~122
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=676c544abe09a8a7b062be77c3e6e263f6ee86f3;p=yosys.git

Merge pull request #2835 from YosysHQ/verific_command

Support command files in Verific
---

676c544abe09a8a7b062be77c3e6e263f6ee86f3