Sign-extension related fixes in SatGen and AST frontend
authorClifford Wolf <clifford@clifford.at>
Mon, 10 Jun 2013 15:10:06 +0000 (17:10 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 10 Jun 2013 15:10:06 +0000 (17:10 +0200)
commita5c30183b5fba4d7af4fb6c908cca5c5515e3089
tree4463e652a2ba987c2cbcbb73f142352e4c91558a
parent90265118215ae74384732edc9cf3fb57b6978756
Sign-extension related fixes in SatGen and AST frontend
frontends/ast/genrtlil.cc
kernel/satgen.h