projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6660784) | patch
In sat: 'x' in init attr should not override constant
authorEddie Hung <eddie@fpgeh.com>
Thu, 22 Aug 2019 23:42:19 +0000 (16:42 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 22 Aug 2019 23:42:19 +0000 (16:42 -0700)
commit2b37a093e95036b267481b2dae2046278eef4040
tree88e05eb93d2c879f860415771fc2e3719c337049tree
parent66607845eccb2e3bc17b017c4f6b109aeaecdf77commit | diff
In sat: 'x' in init attr should not override constant
passes/sat/sat.cc diff | blob | history
tests/sat/initval.v diff | blob | history
tests/sat/initval.ys diff | blob | history