Strictly zero-extend unsigned A-inputs of shift operations
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 10:53:37 +0000 (11:53 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 10:53:37 +0000 (11:53 +0100)
commita1bfde8c5ea0d5c9778579bf78165637ac6c9b25
tree142aebf2bf592445bc9a3f272f160969fc49230c
parentb1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34
Strictly zero-extend unsigned A-inputs of shift operations
kernel/calc.cc
kernel/satgen.h