0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 7 hours ago. based on code collected about 20 hours ago.
Aug 22, 2025 — Aug 22, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
DEV: distclean cudd, instead of clean More... almost 11 years ago
ENH: return cache statistics in `cudd.BDD.statistics` More... almost 11 years ago
API: distinguish between peak total and live nodes More... almost 11 years ago
STY: substitute local var `mgr` for `self.manager` More... almost 11 years ago
MNT: call `BDD.configure` from `__cinit__` More... almost 11 years ago
ENH: `cudd.BDD.configure` reordering and garbage_collection More... almost 11 years ago
DEP: rm `dd.cudd.BDD.garbage_collection` More... almost 11 years ago
REL: bump to `nose == 1.3.7` in `requirements.txt` More... almost 11 years ago
REL: bump to `cython == 0.23.4` in `requirements.txt` More... almost 11 years ago
REL: bump version to 0.2.1 More... almost 11 years ago
comment debug `pydot` dump, because `pydot` optional More... almost 11 years ago
rm newline More... almost 11 years ago
REL: manifest `requirements.txt` More... almost 11 years ago
REL: bump version to 0.2.0 More... almost 11 years ago
TST: mv pydot from `requirements.txt` to `.travis.yml` More... almost 11 years ago
REL: require `pydot3k` in Python 3, instead of `pydot` More... almost 11 years ago
STY: replace `{'key': value}` -> `dict(key=value)` More... almost 11 years ago
API: explicitly use pickle protocol 2 More... almost 11 years ago
encode file name, for Python 3 compatibility More... almost 11 years ago
encode strings before using them in C array More... almost 11 years ago
open pickle files in binary mode More... almost 11 years ago
replace `<int>'A'` with 65 (ascii) More... almost 11 years ago
replace `dict.values` with generator `dd._compat.values` More... almost 11 years ago
replace `dict.itervalues` with `dd._compat.values(dict)` More... almost 11 years ago
comment unused tokens More... almost 11 years ago
use list around `dict.values` More... almost 11 years ago
API: if no order given, then invoke sifting in `cudd.reorder` More... almost 11 years ago
REL: add changelog More... almost 11 years ago
API: rm method `BDD.add_ast` More... almost 11 years ago
REL: link to doc from README More... almost 11 years ago