projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1679682) | patch
Add Verific support for OPER_REDUCE_NAND
authorClaire Wolf <clifford@clifford.at>
Thu, 30 Jan 2020 17:01:13 +0000 (18:01 +0100)
committerClaire Wolf <clifford@clifford.at>
Thu, 30 Jan 2020 17:01:13 +0000 (18:01 +0100)
commit23c44afaed7c3fb97b01ca241731fc84dd03d5a7
tree116af0e63b957a096bf5f6bfb562cc672b32f517tree
parent1679682fa3ae18282b49452891282901a3548ecccommit | diff
Add Verific support for OPER_REDUCE_NAND

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