0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 21, 2025 — Aug 21, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
BUG: correct unreachable code in `cudd_zdd.ZDD._disjoin()` More... about 5 years ago
BUG: correct check for leaf nodes in `cudd_zdd` More... about 5 years ago
UI: correct typo in `DeprecationWarning` message More... about 5 years ago
API: rename `buddy.BDD` methods to `level_of_var()`, `var_at_level()` More... about 5 years ago
API: raise `ValueError` in `dd.bdd.BDD.level_of_var()` More... about 5 years ago
BUG: remove tab character from file `cudd_zdd.pyx` More... about 5 years ago
API: rewrite method `dd.bdd.BDD.add_var()` More... about 5 years ago
REF: write `tuple` without parentheses More... about 5 years ago
REF: rename variable to `level` More... about 5 years ago
REF: shorten lines More... about 5 years ago
MNT: transition to Python >= 3.8 More... about 5 years ago
REL: require Python >= 3.8 More... about 5 years ago
BUG: replace typo `\b` with `\n` More... about 5 years ago
API: raise exceptions, instead of using `assert` More... about 5 years ago
REF: use formatted string literals More... about 5 years ago
DOC: improve docstrings and comments More... about 5 years ago
CI: install suitable `pyparsing` version on Python 2.7 More... about 5 years ago
CI: install test dependencies after installing `dd` More... about 5 years ago
DOC: update outdated docstring, improve docstrings More... about 5 years ago
API: directly convert ZDD to `dot` interface in `dd.cudd_zdd.ZDD.dump` More... about 5 years ago
API: reduce the memory needed by `dd.cudd_zdd.to_nx` More... about 5 years ago
TST: directly test BDD edges in `dddmp_test` More... about 5 years ago
REF: mv import to top of test module More... about 5 years ago
API: extract unused code from function `bdd_to_mdd` More... about 5 years ago
BUG: pass `roots` to `to_nx` that are not random More... about 5 years ago
DEV: revise the `reinstall*` rules in the `Makefile` More... about 5 years ago
BUG: initialize pointer first, to be prepared for `__dealloc__` More... about 5 years ago
API: set `Function.node` to `NULL` when `_ref` becomes 0 More... about 5 years ago
CI: use GitHub Actions, instead of Travis CI More... about 5 years ago
DOC: update URLs More... about 5 years ago