Using $pos models for $bu0
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Sep 2014 19:20:59 +0000 (21:20 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 3 Sep 2014 19:20:59 +0000 (21:20 +0200)
commitb9cb483f3e2a498ee75a422e09164a920918362b
treec1375a5e5b70895b2d392bfb308fc75d648a0c19
parent5733f4a39d56388e531b6c1471f56c3efb023f31
Using $pos models for $bu0
backends/verilog/verilog_backend.cc
kernel/calc.cc
kernel/satgen.h