projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdbcd2e) | 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>
Thu, 20 Jun 2019 17:21:57 +0000 (10:21 -0700)
commitefdb057c6ad5ba0fe05a597ba5f080067f061aad
tree4ebb5b202adb9a7885bd208340773e4231e223f1tree
parentcdbcd2efbdc7980aaad95744464c17553d782cd0commit | diff
write_xaiger to skip POs driven by 1'bx
backends/aiger/xaiger.cc diff | blob | history