projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0a47f) | patch
write_xaiger to skip POs driven by 1'bx
authorEddie Hung <eddie@fpgeh.com>
Thu, 20 Jun 2019 17:21:57 +0000 (10:21 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 00:37:54 +0000 (17:37 -0700)
commitf2d541962e92fedce0fbb34d4cf5c1985c7cda40
tree2d594ad525f41f30d8084970570d9bc1241a6b78tree
parent8e0a47fb920af1126adb67f884b5ce1443a9b4a9commit | diff
write_xaiger to skip POs driven by 1'bx
backends/aiger/xaiger.cc diff | blob | history