aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-03-19 14:53:28 +0100
committerClifford Wolf <clifford@clifford.at>2017-03-19 14:53:28 +0100
commit850f8299a9374ae4b9caeca8b6cd888be7c0a406 (patch)
tree4f332696647cb6579e6b2a18b3110d08271d0aaf /libs/minisat
parent1390e9a0a7d4872e24a9fe53e258b8097932392a (diff)
downloadyosys-850f8299a9374ae4b9caeca8b6cd888be7c0a406.tar.gz
yosys-850f8299a9374ae4b9caeca8b6cd888be7c0a406.tar.bz2
yosys-850f8299a9374ae4b9caeca8b6cd888be7c0a406.zip
Fix EDIF: portRef member 0 is always the MSB bit
Diffstat (limited to 'libs/minisat')
0 files changed, 0 insertions, 0 deletions