projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e64456f 90b440f)
Merge pull request #3057 from YosysHQ/claire/verific_latches
authorClaire Xen <claire@clairexen.net>
Thu, 21 Oct 2021 11:00:53 +0000 (13:00 +0200)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 11:00:53 +0000 (13:00 +0200)
Initial Verific impoter support for {PRIM,WIDE_OPER}_DLATCH{,RS}


Trivial merge