0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 17 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
REF: define version on one line More... over 3 years ago
REF: `return` as early as possible More... over 3 years ago
DOC: rm blank line More... over 3 years ago
DEP: rm action `develop` from `Makefile` More... over 3 years ago
CI: bump used actions `python`, `checkout` More... almost 4 years ago
STY: place one argument per line More... almost 4 years ago
REF: alias imported `argparse` as `_arg` More... almost 4 years ago
TST: that `dd.__version__ is not None` and a `str` More... almost 4 years ago
BUG: case of repeated calls to `Function.__del__()` More... almost 4 years ago
BUG: cache `BDD._to_expr()` More... almost 4 years ago
REF: rename variable to `level` More... almost 4 years ago
REF: rename variable to `expr` More... almost 4 years ago
REF: extract as `_ddref_to_int()`, `_int_to_ddref()` More... almost 4 years ago
_API: widen `qvars` type to `Container`, in `ZDD._quantify_root()` More... almost 4 years ago
MNT: check parameter `op` More... almost 4 years ago
REF: factor out `if` statements More... almost 4 years ago
REF: omit `if` statement that has no effect More... almost 4 years ago
REF: assert `v is not None` for all non-unary operators More... almost 4 years ago
REF: factor out `w is not None` assertion More... almost 4 years ago
REF: fewer statements More... almost 4 years ago
DOC: dedent list in Markdown docstring More... almost 4 years ago
API: rename parameter to `expr`, in `BDD.add_expr()` More... almost 4 years ago
API: add operator `'ite'` to `BDD.apply()`, extend its signature More... almost 4 years ago
BUG: raise `ValueError` for unknown operator in `BDD.apply()` More... almost 4 years ago
REF: rename import alias to `_py_bool` More... almost 4 years ago
MNT: rm commented import statements More... almost 4 years ago
REF: alias imported type as `_c_bool` More... almost 4 years ago
BUG: `raise NotImplementedError` in `BDD.assert_consistent()` More... almost 4 years ago
DEP: rm deprecated methods `BDD.level()`, `BDD.at_level()` More... almost 4 years ago
PEP8: sort imports lexicographically More... almost 4 years ago