0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Aug 25, 2025 — Aug 25, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
DOC: add version 0.5.6 to CHANGELOG More... over 6 years ago
DOC: add details about diagram More... over 6 years ago
API: embed signatures in Cython More... over 6 years ago
REL: bump to `cython == 0.29.15` in `requirements.txt` More... over 6 years ago
TST: add more tests to module `common` More... over 6 years ago
DOC: mention minimal covers in README More... over 6 years ago
TST: mv tests to modules `common` and `common_bdd` More... over 6 years ago
TST: add function `test_to_expr` More... over 6 years ago
BUG: case of `list` given to `dd.bdd.BDD.cube` More... over 6 years ago
MAI: assert `n >= len(support(u))` in `dd.bdd.BDD.count` More... over 6 years ago
BUG: correct simultaneous substitution in `dd.bdd.BDD.let` More... over 6 years ago
BUG: case of empty argument `definitions` More... over 6 years ago
BUG: assert level correctness in `find_or_add` More... over 6 years ago
TST: adjustments to apply tests to ZDDs More... over 6 years ago
TST: mv to modules `common`, `common_bdd`, `common_cudd` More... over 6 years ago
MAI: provide more information in warning More... over 6 years ago
MAI: rm assertion that is BDD-specific More... over 6 years ago
MAI: rename method arguments to match spec More... over 6 years ago
MAI: assert More... over 6 years ago
DOC: correctly name argument in docstring More... over 6 years ago
DOC: rm nonexistent argument from docstring More... over 6 years ago
MAI: rename variable to `nv` More... over 6 years ago
DOC: rm `@` for BDD node from README More... over 6 years ago
REL: include GLIBC and Python licenses in wheel More... over 6 years ago
DOC: correct typo More... over 6 years ago
DOC: update URL More... over 6 years ago
DOC: add links to archive copies of CUDD docs More... over 6 years ago
REL: bump version to 0.5.6 More... over 6 years ago
BUG: handle complemented edges correctly in `dd.bdd.BDD.reduction` More... over 6 years ago
DOC: add version 0.5.5 to CHANGELOG More... over 6 years ago