D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 21, 2025 — Aug 21, 2026 Showing page 22 of 47 Search / Filter on:
API: rename `cudd.BDD` methods to `_incref` and `_decref`	Ioannis Filippidis	More...				over 8 years ago
API: change default to `recursive=False` in method `cudd.BDD.decref`	Ioannis Filippidis	More...				over 8 years ago
ENH: add method `BDD.reorder` to `cudd` and `autoref`	Ioannis Filippidis	More...				over 8 years ago
ENH: add script `examples/np.py`	Ioannis Filippidis	More...				over 8 years ago
DEV: rm `dd/*.c` files explicitly	Ioannis Filippidis	More...				over 8 years ago
ENH: add property `Function.dag_size`	Ioannis Filippidis	More...				over 8 years ago
REF: reimplement method `dd.BDD.descendants`	Ioannis Filippidis	More...				over 8 years ago
DOC: clarify usefulness of method `dd.bdd.BDD.reduction`	Ioannis Filippidis	More...				over 8 years ago
MAI: update method `BDD.declare` in `queens.py`	Ioannis Filippidis	More...				over 8 years ago
DEV: rm unused script `dd/_setup.py`	Ioannis Filippidis	More...				over 8 years ago
API: change signature of method `dd.cudd.BDD.dump`	Ioannis Filippidis	More...				over 8 years ago
MAI: rm an implementation from function specification	Ioannis Filippidis	More...				over 8 years ago
DEP: rm functions `copy_vars` and `copy_bdd` of `dd._abc`	Ioannis Filippidis	More...				over 8 years ago
DEP: rm function `dd.bdd.copy_vars`	Ioannis Filippidis	More...				over 8 years ago
ENH: allow simultaneous substitution in `dd.bdd.BDD.let`	Ioannis Filippidis	More...				over 8 years ago
MAI: comments	Ioannis Filippidis	More...				over 8 years ago
REF: rm function `_rename`, and use `_copy_bdd` instead	Ioannis Filippidis	More...				over 8 years ago
REF: permute arguments of `_copy_bdd` and `_rename`	Ioannis Filippidis	More...				over 8 years ago
MAI: rm unused cache value	Ioannis Filippidis	More...				over 8 years ago
REF: pre-compute levels for unrenamed variables	Ioannis Filippidis	More...				over 8 years ago
MAI: rm obsolete warning	Ioannis Filippidis	More...				over 8 years ago
MAI: update comment	Ioannis Filippidis	More...				over 8 years ago
REF: map levels in `copy_bdd` without computing support	Ioannis Filippidis	More...				over 8 years ago
API: allow arbitrary variable orders in `copy_bdd`	Ioannis Filippidis	More...				over 8 years ago
API: rm overconstraining assertion from `rename`	Ioannis Filippidis	More...				over 8 years ago
API: rm overconstraining assertions from `copy_bdd`	Ioannis Filippidis	More...				over 8 years ago
MAI: rm inaccurate comment	Ioannis Filippidis	More...				over 8 years ago
REF: rename variable to `cache`	Ioannis Filippidis	More...				over 8 years ago
REF: increase similarity of `_rename` and `_copy_bdd`	Ioannis Filippidis	More...				over 8 years ago
DEP: rm method `dd.bdd.BDD.evaluate`	Ioannis Filippidis	More...				over 8 years ago

←
1
2
…
18
19
20
21
22
23
24
25
26
…
46
47
→