0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Oct 17, 2025 — Oct 17, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
REL: bump copyright year range to 2026 More... 16 days ago
MNT: `sylvan_init_bdd()` takes no arguments More... 16 days ago
CI: bump to Ubuntu 26.04 More... 16 days ago
CI: bump python and checkout actions More... 16 days ago
DOC: use infix pipe operator `|` in grammar More... 10 months ago
MNT: avoid `inspect.stack()` error in `__del__()` More... 11 months ago
CI: bump used actions `python`, `checkout` More... about 1 year ago
CI: bump to Ubuntu 24.04 More... about 1 year ago
DOC: shift text More... about 1 year ago
DOC: revise example More... about 1 year ago
CI: test using CPython 3.15 More... about 1 year ago
ENH: add `dd.sylvan.Function.count()` More... about 1 year ago
BUG: case of `roots is None` in `_dump_bdd()` More... about 1 year ago
API: raise `ValueError` in `dump_json()` when roots empty More... about 1 year ago
PEP8: blankspace More... about 1 year ago
TST: add to `test_count()` More... about 1 year ago
DOC: update docstring More... about 1 year ago
ENH: add `dd.sylvan.BDD.count()` More... about 1 year ago
DOC: Clarify use of 'exist' and 'let', point to list of operators More... over 1 year ago
TST: use `MultiDiGraphMatcher` More... over 1 year ago
REL: compile on Apple silicon macOS More... over 1 year ago
MNT: extend type for type-checking More... over 1 year ago
REL: use SPDX license expression More... over 1 year ago
TST: Py operators of `Function` More... over 1 year ago
ENH: add `__xor__()` to `Function` More... over 1 year ago
CI: test using CPython 3.14 More... over 1 year ago
DOC: how to link to MacPorts `libcudd` More... almost 2 years ago
TYP: refine return-type of `BDD.load()` More... almost 2 years ago
TYP: correct return-type of `BDD._load_pickle()` More... almost 2 years ago
MNT: rm `tests_require` More... almost 2 years ago