More xsthammer improvements (using xst 14.5 now)
authorClifford Wolf <clifford@clifford.at>
Thu, 13 Jun 2013 15:23:51 +0000 (17:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 13 Jun 2013 15:23:51 +0000 (17:23 +0200)
commit7f6c83a853e1d127365169e018f44faaac405326
treedc0327c58dffd40b9793913e186666169d5b6d62
parent0c6ffc4c656de69c92727580cd4c192211d10e6d
More xsthammer improvements (using xst 14.5 now)
passes/sat/sat.cc
tests/xsthammer/run-check.sh
tests/xsthammer/run-xst.sh
tests/xsthammer/xl_cells.v
tests/xsthammer/xl_cells_tb.v
tests/xsthammer/xl_cells_tb.ys