D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2025 — Aug 22, 2026 Showing page 26 of 47 Search / Filter on:
MAI: rm unused local var `mgr`	Ioannis Filippidis	More...				over 9 years ago
API: rm arg `bdd` from function `cudd.dump`	Ioannis Filippidis	More...				over 9 years ago
API: rm arg `source` from function `cudd.copy_bdd`	Ioannis Filippidis	More...				over 9 years ago
API: rm arg `bdd` from `cudd` functions `and_exists` and `or_forall`	Ioannis Filippidis	More...				over 9 years ago
API: rm arg `source` from function `autoref.copy_bdd`	Ioannis Filippidis	More...				over 9 years ago
API: rm arg `bdd` from `autoref` functions `image` and `preimage`	Ioannis Filippidis	More...				over 9 years ago
BUG: pass attribute `Function.manager` instead of `Function.bdd`	Ioannis Filippidis	More...				over 9 years ago
API: rm function `autoref.rename`, use `BDD.let` instead	Ioannis Filippidis	More...				over 9 years ago
API: rm function `cudd.rename`, use method `BDD.let` instead	Ioannis Filippidis	More...				over 9 years ago
DOC: rewrite most of README, mention only essential info	Ioannis Filippidis	More...				over 9 years ago
STY: shorter markdown lines, to the extent understood by github	Ioannis Filippidis	More...				over 9 years ago
ENH: add methods `cudd.Function.let, exist, forall, pick, count`	Ioannis Filippidis	More...				over 9 years ago
API: do not override method `BDD.pick`	Ioannis Filippidis	More...				over 9 years ago
ENH: add method `BDD.declare` in modules `cudd` and `sylvan`	Ioannis Filippidis	More...				over 9 years ago
MAI: assert	Ioannis Filippidis	More...				over 9 years ago
API: rename arg to `nvars` in method `BDD.count` of `autoref` and `bdd`	Ioannis Filippidis	More...				over 9 years ago
API: rename keyword arg `care_bits` to `care_vars` in `BDD.pick*` methods	Ioannis Filippidis	More...				over 9 years ago
BUG: call method `bdd.BDD.pick_iter` from `autoref.BDD.pick_iter`	Ioannis Filippidis	More...				over 9 years ago
DOC: rm docstrings now inherited from `_abc.BDD`	Ioannis Filippidis	More...				over 9 years ago
API: subclass `autoref.BDD` and `bdd.BDD` from `_abc.BDD`	Ioannis Filippidis	More...				over 9 years ago
DOC: correct and rephrase	Ioannis Filippidis	More...				over 9 years ago
DOC: add table of contents	Ioannis Filippidis	More...				over 9 years ago
DOC: fix broken URLs	Ioannis Filippidis	More...				over 9 years ago
STY: shorter lines in `doc.md`	Ioannis Filippidis	More...				over 9 years ago
DOC: add license information to documentation	Ioannis Filippidis	More...				over 9 years ago
DOC: fix broken URL to CUDD	Ioannis Filippidis	More...				over 9 years ago
REL: bump version to 0.5.2	Ioannis Filippidis	More...				over 9 years ago
API: allow copying of node to same manager, but log warning	Ioannis Filippidis	More...				over 9 years ago
BUG: wrap using `other` in method `autoref.BDD.copy`	Ioannis Filippidis	More...				over 9 years ago
TST: add script `tests/autoref_test.py` that reuses some `cudd` tests	Ioannis Filippidis	More...				over 9 years ago

←
1
2
…
22
23
24
25
26
27
28
29
30
…
46
47
→