projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c50d686) | 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:43:08 +0000 (16:43 -0700)
commit51ffb093b5beeb5e2c687d2bf34b13d246f3fc7d
tree2a70d1550ab81a96f4c383524fd4c66bdef2c7b0tree
parentc50d68653d093a8daa47f589836e6178be82b54fcommit | 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