D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 21, 2025 — Aug 21, 2026 Showing page 12 of 47 Search / Filter on:
DOC: extend docstring of `cudd.BDD._add_var()`	Ioannis Filippidis	More...				almost 5 years ago
DOC: extend docstring of `cudd.BDD.insert_var()`	Ioannis Filippidis	More...				almost 5 years ago
DOC: rephrase docstring, to shorten line	Ioannis Filippidis	More...				almost 5 years ago
STY: shorten lines	Ioannis Filippidis	More...				almost 5 years ago
REF: avoid instantiating temporary Python object	Ioannis Filippidis	More...				almost 5 years ago
DOC: correct terminology about generators	Ioannis Filippidis	More...				almost 5 years ago
UI: rm function-entry logging messages from `cudd_zdd`	Ioannis Filippidis	More...				almost 5 years ago
BUG: avoid referencing undefined variable	Ioannis Filippidis	More...				almost 5 years ago
MNT: define `__eq__()` etc, instead of `__richcmp__()`	Ioannis Filippidis	More...				almost 5 years ago
MNT: rm `cdef` keywords inside `cdef` section	Ioannis Filippidis	More...				almost 5 years ago
BUG: specify return value in declaration	Ioannis Filippidis	More...				almost 5 years ago
DOC: add meaning of propositional operators	Ioannis Filippidis	More...				almost 5 years ago
API: use `#` as TLA+ operator, instead of comment delimiter	Ioannis Filippidis	More...				almost 5 years ago
ENH: lex TLA+ comments	Ioannis Filippidis	More...				almost 5 years ago
STY: improve docstrings	Ioannis Filippidis	More...				almost 5 years ago
REF: rename arguments in Cython declarations	Ioannis Filippidis	More...				almost 5 years ago
BUG: correctly name arguments in Cython declarations	Ioannis Filippidis	More...				almost 5 years ago
STY: shorten lines	Ioannis Filippidis	More...				almost 5 years ago
REF: simplify, by inlining	Ioannis Filippidis	More...				almost 5 years ago
MNT: call `Cudd_bddXnor()`, instead of `Cudd_bddIte()`	Ioannis Filippidis	More...				almost 5 years ago
API: rename positional parameter of `cudd.BDD.support()`	Ioannis Filippidis	More...				almost 5 years ago
MNT: swap conjuncts, to avoid computation, by short-circuiting	Ioannis Filippidis	More...				almost 5 years ago
BUG: unsupported cases of `other is None` in `__richcmp__()`	Ioannis Filippidis	More...				almost 5 years ago
REF: shift declarations closer to variable use	Ioannis Filippidis	More...				almost 5 years ago
REF: simplify `return` lines	Ioannis Filippidis	More...				almost 5 years ago
REF: rm unused variables	Ioannis Filippidis	More...				almost 5 years ago
API: rename argument to `zdd`, in method `Function.init()`	Ioannis Filippidis	More...				almost 5 years ago
REF: rename internal accesses of attribute	Ioannis Filippidis	More...				almost 5 years ago
REF: use named constants from `cpython.object`	Ioannis Filippidis	More...				almost 5 years ago
DEV: call `nosetests` from `Makefile` rule `test`	Ioannis Filippidis	More...				almost 5 years ago

←
1
2
…
8
9
10
11
12
13
14
15
16
…
46
47
→