projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54422c5) | patch
Revert "In sat: 'x' in init attr should not override constant"
authorEddie Hung <eddie@fpgeh.com>
Tue, 27 Aug 2019 00:52:57 +0000 (17:52 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 27 Aug 2019 00:52:57 +0000 (17:52 -0700)
commit6b5e65919a6ec14d4bfc85f80d1f7492d5b86c16
tree8cc15936e0efcf99a0d02b1feaa7d298cbefb8a4tree
parent54422c5bb4cdd3488fa1849af9049d0f4bb24603commit | diff
Revert "In sat: 'x' in init attr should not override constant"

This reverts commit 2b37a093e95036b267481b2dae2046278eef4040.
passes/sat/sat.cc diff | blob | history
tests/sat/initval.v diff | blob | history
tests/sat/initval.ys diff | blob | history