From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 22 Nov 2019 17:10:34 +0000 (+0100)
Subject: Merge pull request #1515 from YosysHQ/clifford/svastuff
X-Git-Tag: working-ls180~951
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d;p=yosys.git

Merge pull request #1515 from YosysHQ/clifford/svastuff

Add Verific/SVA support for "always" and "nexttime" properties
---

caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d