0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected 2 days ago.
Aug 28, 2025 — Aug 28, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
REF: express function as `def`, instead of `lambda` More... almost 4 years ago
REF: shorten comment lines More... almost 4 years ago
REF: rearrange text within docstrings More... almost 4 years ago
STY: spread comprehension over multiple lines More... almost 4 years ago
API: rename parameter to `expr`, in `dd.bdd.BDD.add_expr()` More... almost 4 years ago
REF: unnest `raise` statement from within `if` statement More... almost 4 years ago
DOC: case of undeclared name in `BDD.is_essential()` More... almost 4 years ago
REF: extract as method `BDD._assert_keys_are_levels()` More... almost 4 years ago
BUG: ensure that `x`, `y` are `int` More... almost 4 years ago
REF: use `match` statement, instead of `if`...`elif` More... almost 4 years ago
REF: explicitly `return None` More... almost 4 years ago
BUG: typo in Markdown syntax within docstring More... almost 4 years ago
DOC: rm comment from docstring More... almost 4 years ago
DOC: typo More... almost 4 years ago
DOC: rm implementation detail from docstring of `pick_iter()` More... almost 4 years ago
REF: add assertions that enable checking with `pytype` More... almost 4 years ago
DOC: specify `python` as language in Markdown blocks More... almost 4 years ago
REF: cast `int` as `int`, for `pytype` checking More... almost 4 years ago
BUG: return `str` in all cases, from `MDD.to_expr()` More... almost 4 years ago
BUG: unpack iterable as arguments More... almost 4 years ago
REF: unnest imports, moving them to module scope More... almost 4 years ago
REF: unalias imported module More... almost 4 years ago
REF: mv imports to top of module `dd.bdd` More... almost 4 years ago
BUG: update outdated calls to test functions More... about 4 years ago
UI: format numbers as `f'{x:_}'` More... about 4 years ago
REF: fuse conjoined predicates, as `0 < x < 1` More... about 4 years ago
TYP: annotate constants with `typing.Final` More... about 4 years ago
STY: spread `set` comprehension over multiple lines More... about 4 years ago
STY: place arguments indented starting on next line More... about 4 years ago
TYP: add type hints More... about 4 years ago