0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Aug 19, 2025 — Aug 19, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
CI: bump used actions `python`, `checkout` More... 10 months ago
CI: bump to Ubuntu 24.04 More... 10 months ago
DOC: shift text More... 11 months ago
DOC: revise example More... 11 months 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... about 1 year ago
TST: use `MultiDiGraphMatcher` More... about 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... over 1 year ago
TYP: refine return-type of `BDD.load()` More... over 1 year ago
TYP: correct return-type of `BDD._load_pickle()` More... over 1 year ago
MNT: rm `tests_require` More... almost 2 years ago
REF: rename parameter to `token` More... almost 2 years ago
REF: rewrite `t_error()` More... almost 2 years ago
REF: check earlier that parsing succeeded More... almost 2 years ago
MNT: use one parser cache for parser subclass More... almost 2 years ago
_API: rm unused `**kw` from (internal) parser More... almost 2 years ago
MNT: rm unused line-counting More... almost 2 years ago
REF: rm unnecessary `%prec UMINUS` More... almost 2 years ago