Replaced ezDefaultSAT with ezSatPtr
authorClifford Wolf <clifford@clifford.at>
Sat, 21 Feb 2015 11:15:41 +0000 (12:15 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 21 Feb 2015 11:15:41 +0000 (12:15 +0100)
commit4e6ca7760f801ce5ea16c6ea9be3ad4a86aa3b1d
tree2b6f0debe78102a24b1e1cf48cdfa14752cd0892
parentf778a4081c9b509c0a1d886f8668b1931bfc93d6
Replaced ezDefaultSAT with ezSatPtr
12 files changed:
kernel/register.cc
kernel/satgen.h
kernel/yosys.h
passes/equiv/equiv_induct.cc
passes/equiv/equiv_simple.cc
passes/memory/memory_share.cc
passes/opt/share.cc
passes/sat/eval.cc
passes/sat/freduce.cc
passes/sat/sat.cc
passes/tests/test_abcloop.cc
passes/tests/test_cell.cc