summaryrefslogtreecommitdiff
path: root/backends/btor/btor.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-06 22:31:58 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-06 22:31:58 +0100
commit0192f1c66ea1335370770aef05fb73b9eaf0edce (patch)
tree47246285217aa92b1af24b7eeea5fd4b822ac5d9 /backends/btor/btor.cc
parenta170d114a53593291b27fe22ce1f92e2fde79e64 (diff)
Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim failed)
Diffstat (limited to 'backends/btor/btor.cc')
0 files changed, 0 insertions, 0 deletions