From: Claire Xen <claire@clairexen.net>
Date: Tue, 22 Feb 2022 15:22:06 +0000 (+0100)
Subject: Merge pull request #3211 from YosysHQ/micko/witness
X-Git-Tag: yosys-0.15~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a41c1df76f724476136e2668405ccae05494ebb8;p=yosys.git

Merge pull request #3211 from YosysHQ/micko/witness

Add support for AIGER witness files in "sim" command
---

a41c1df76f724476136e2668405ccae05494ebb8