• Alexandre Duret-Lutz's avatar
    [buddy] · d462f50b
    Alexandre Duret-Lutz authored
    Inline bdd_addref() and bdd_delref() to speedup BDD operations.
    
    * src/kernel.c, src/kernel.h (bdd_addref, bdd_delref): Move these
    functions and there associated global variables...
    * src/bdd.c (bdd_error): ... and this function ...
    * src/bdd.h (bdd_addref, bdd_delref, bdd_error): ...here so that
    they can be inlined.
    d462f50b
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 6.98 KB