It turns out that checked_log2_ceil is actually checked_log2_floor - this can be seen by calling checked_log2_ceil(3), which returns 1. This is the correct value for the implementation, but the name is misleading. I want to re-name this and document the behavior & implementation.
mccolljr
commented
3 years ago
It turns out that
checked_log2_ceilis actuallychecked_log2_floor- this can be seen by callingchecked_log2_ceil(3), which returns1. This is the correct value for the implementation, but the name is misleading. I want to re-name this and document the behavior & implementation.