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
API: configure Cython build via environment variables More... almost 5 years ago
DOC: rephrase More... almost 5 years ago
TST: directly test BDD conversion to graph in `test_to_graphviz_dot` More... almost 5 years ago
BUG: correct escaping of characters in regular expressions More... almost 5 years ago
BUG: `print` is a function in Python 3 More... almost 5 years ago
REF: write `is NULL`, instead of `== NULL` More... almost 5 years ago
REL: bump to `cython == 0.29.24` in `requirements.txt` More... almost 5 years ago
API: propagate exceptions from `cdef` to Python level More... almost 5 years ago
BUG: pass `debuglog` to `yacc` whenever `debug` is true More... almost 5 years ago
BUG: avoid calling methods from `__dealloc__()` More... almost 5 years ago
ENH: add module `examples/boolean_satisfiability.py` More... almost 5 years ago
REF: avoid unnecessary function calls and lookups More... almost 5 years ago
UI: rephrase message More... almost 5 years ago
ENH: how to install the Cython extensions of `dd` More... almost 5 years ago
REF: write `super()`, instead of `super(....)` More... about 5 years ago
BUG: do not access global vars while in `__del__` More... about 5 years ago
DOC: improve README More... about 5 years ago
REF: rm unnecessary `(object)` from class definitions More... about 5 years ago
DOC: note that underscores too can refer to BDDs More... about 5 years ago
BUG: correct unreachable code in `cudd_zdd._disjoin()` More... about 5 years ago
API: change `Function.__repr__()` in `cudd`, `cudd_zdd` More... about 5 years ago
REF: use exponent, instead of listing zeros More... about 5 years ago
DOC: how to `pip install` from URL to repository More... about 5 years ago
DOC: improve error message of `dd.cudd_zdd.ZDD.__cinit__()` More... about 5 years ago
BUG: typo in error message of `dd.cudd_zdd.ZDD.__cinit__` More... about 5 years ago
DEV: add `Makefile` rules `reinstall_buddy`, `reinstall_sylvan` More... about 5 years ago
BUG: handle noncontiguous levels in `cudd`, `cudd_zdd` More... about 5 years ago
REF: shorten line More... about 5 years ago
API: correct arg check in `var_at_level()` in `cudd`, `cudd_zdd` More... about 5 years ago
API: rewrite fetching functions in script `download` More... about 5 years ago