Diff - caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d^2..caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d - third_party/yosys - Git at Google

commit: caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d
[log]
author: Clifford Wolf <clifford@clifford.at>
Fri Nov 22 18:10:34 2019 +0100
committer: GitHub <noreply@github.com>
Fri Nov 22 18:10:34 2019 +0100
tree: 9f4ec5ae19c28ff6c54fa01fd464cce130acafe2
parent: 72d2ef6fd071a8b2b9e1a77ddab3a9d632aa0f3d [diff]
parent: db323685a4357ae0a04a8def9de29ef3a8ba16c2 [diff]

Merge pull request #1515 from YosysHQ/clifford/svastuff

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