Small bug fixes in $not, $neg, and $shiftx models
authorClifford Wolf <clifford@clifford.at>
Tue, 2 Sep 2014 15:48:41 +0000 (17:48 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 2 Sep 2014 15:48:41 +0000 (17:48 +0200)
commitc38283dbd033ba95554600bbaa850de707ab2a78
tree26c4d56235b59a023c3cfdd6023014cc322c7509
parentacd7a99aef0f698580dc6a6d202a79f36fdf5360
Small bug fixes in $not, $neg, and $shiftx models
kernel/calc.cc
kernel/satgen.h
techlibs/common/simlib.v