Added "int ceil_log2(int)" function
authorClifford Wolf <clifford@clifford.at>
Sat, 13 Feb 2016 15:52:16 +0000 (16:52 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 13 Feb 2016 15:52:16 +0000 (16:52 +0100)
commit0d7fd2585e8daec77870f19264644a204e0a8ed4
tree680308c755ff95dde092e26d4e0e33eccc249f62
parenta75f94ec4ae411d98d9882e423e0ae02eda4bd37
Added "int ceil_log2(int)" function
backends/btor/btor.cc
kernel/yosys.cc
kernel/yosys.h
libs/ezsat/ezsat.cc
passes/fsm/fsm_recode.cc