0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 18 hours 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
TEMP: deactivate Cython line tracing, for efficiency reasons More... over 10 years ago
DEV: activate line tracing for Cython More... over 10 years ago
DEV: declare cleaning rules as phony More... over 10 years ago
REL: retrieve commit hash from git and recognize version tags More... over 10 years ago
MAI: split `Parser.parse` into `_parse_header` and `_parse_body` More... over 10 years ago
DEV: optimize at -O3 when compiling `dd.cudd` More... over 10 years ago
ENH: `cudd.BDD.configure` max swaps and vars per reordering More... over 10 years ago
ENH: guard against an estimated requirement larger than total memory More... almost 11 years ago
MNT: extract part of `__cinit__` as `__init__` More... almost 11 years ago
API: rename `dd.cudd.BDD.__cinit__` arg `max_memory` to `memory_estimate` More... almost 11 years ago
REL: require `psutil >= 3.2.2` More... almost 11 years ago
API: turn off reordering in `source` during `cudd.copy_bdd` More... almost 11 years ago
STY: shorter lines More... almost 11 years ago
API: first read, then write in `cudd.BDD.configure` More... almost 11 years ago
ENH: add joint pickle - dddmp interface for `cudd.BDD` More... almost 11 years ago
ENH: add function `cudd.count_nodes_per_level` More... almost 11 years ago
API: accept as keyword args in `cudd.BDD.configure` More... almost 11 years ago
BUG: get sizeof long and void pointer from `ctypes` More... almost 11 years ago
BUG: escape assertion if no index given More... almost 11 years ago
DEV: `make build` installs and tests, instead of develop More... almost 11 years ago
DEV: add make rules to install and test More... almost 11 years ago
shift More... almost 11 years ago
ENH: return unique table statistics in `cudd.BDD.statistics` More... almost 11 years ago
BUG: do not clear dead nodes in `statistics` More... almost 11 years ago
API: add arg `initial_cache_size` to `cudd.BDD.__cinit__` More... almost 11 years ago
API: rename `__cinit__` arg `memory` -> `max_memory` More... almost 11 years ago
MNT: refactor to name args to `Cudd_Init` More... almost 11 years ago
MNT: write as powers of 2 More... almost 11 years ago
DOC: correct typo: GB -> bytes More... almost 11 years ago
ENH: read soft limit on cache size More... almost 11 years ago