-
Alexandre Duret-Lutz authored
* src/bdd.h (__likely, __unlikely): Introduce these two macros. * src/bddop.c, src/kerner.c: Use them in many situations.
2b58fb90
To find the state of this project's repository at the time of any of these versions, check out the tags.