• Alexandre Duret-Lutz's avatar
    [buddy] use powers of two for the sizes of all hash tables · 361b44e5
    Alexandre Duret-Lutz authored
    * src/bddop.c, src/bddx.h, src/cache.c, src/cache.h, src/kernel.c,
    src/kernel.h, src/prime.c, src/prime.h, src/reorder.c: Use power of
    two for the sizes of all hash tables, in order to reduce the amount of
    divisions performed.  Also allow bddhash to be smaller than bddnodes.
    361b44e5
kernel.h 9.18 KB