projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2aeb4d4) | patch
Add handling of verific OPER_REDUCE_NOR
authorClifford Wolf <clifford@clifford.at>
Mon, 26 Feb 2018 14:26:01 +0000 (15:26 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 26 Feb 2018 14:26:01 +0000 (15:26 +0100)
commitb6fbeb0969773770af79fe4bd8f5b15c863ef90b
treeec6260876bb5339c7834e4924d13a4ade0423a70tree
parent2aeb4d4e1231807144e62930ce9c95795265f6b3commit | diff
Add handling of verific OPER_REDUCE_NOR

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc diff | blob | history