| commit | caa3b21f8bc6af4a9e2115c9b599676a4dd11a2d | [log] [tgz] |
|---|---|---|
| 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