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 18 of 47 Search / Filter on:
DOC: rephrase installation instructions	Ioannis Filippidis	More...				almost 6 years ago
DOC: add BuDDy installation instructions	Ioannis Filippidis	More...				almost 6 years ago
API: make optional arg `nvars` in method `count`	Ioannis Filippidis	More...				almost 6 years ago
TST: change assertion in reordering test	Ioannis Filippidis	More...				almost 6 years ago
TST: split test method into two	Ioannis Filippidis	More...				almost 6 years ago
DOC: correct comment	Ioannis Filippidis	More...				almost 6 years ago
CI: install `networkx==2.4` on Python 3.5	Ioannis Filippidis	More...				almost 6 years ago
DOC: correct typo	Ioannis Filippidis	More...				almost 6 years ago
ENH: add method `dd.sylvan.BDD.succ`	Ioannis Filippidis	More...				almost 6 years ago
ENH: implement method `dd.sylvan.BDD.pick_iter`	Ioannis Filippidis	More...				about 6 years ago
BUG: case of constant node in `dd.sylvan.Function.var`	Ioannis Filippidis	More...				about 6 years ago
DOC: write `dd-*/`	Ioannis Filippidis	More...				over 6 years ago
CI: install `pyparsing == 2.4.7` for Python 2.7	Ioannis Filippidis	More...				over 6 years ago
TST: rm file if it exists, instead of try/except	Ioannis Filippidis	More...				over 6 years ago
TST: add function `test_dump_pdf`	Ioannis Filippidis	More...				over 6 years ago
TST: add function `test_dump_load_json`	Ioannis Filippidis	More...				over 6 years ago
TST: rename function to `test_dump_load_dddmp`	Ioannis Filippidis	More...				over 6 years ago
DOC: describe external references using a diagram	Ioannis Filippidis	More...				over 6 years ago
DOC: comment in `dd.sylvan.Function.low`	Ioannis Filippidis	More...				over 6 years ago
BUG: correct method `dd.sylvan.Function.negated`	Ioannis Filippidis	More...				over 6 years ago
API: parse in `dd.dddmp` files dumped from `dd.cudd`	Ioannis Filippidis	More...				over 6 years ago
API: allow empty support variable names in DDDMP	Ioannis Filippidis	More...				over 6 years ago
REF: extract as method `dd.bdd.BDD._load_pickle`	Ioannis Filippidis	More...				over 6 years ago
API: add JSON to `dd.autoref.BDD.dump` and `load`	Ioannis Filippidis	More...				over 6 years ago
REF: assign `filetype` in method `dd.autoref.BDD.dump`	Ioannis Filippidis	More...				over 6 years ago
API: require extension `.p` for pickle files in	Ioannis Filippidis	More...				over 6 years ago
API: add JSON to `dd.cudd.BDD.dump` and `load`	Ioannis Filippidis	More...				over 6 years ago
API: require file name extension `.dddmp` in	Ioannis Filippidis	More...				over 6 years ago
API: allow multiple roots in method `dd.cudd.BDD.dump`	Ioannis Filippidis	More...				over 6 years ago
REF: mv to files with extension `.dddmp`	Ioannis Filippidis	More...				over 6 years ago

←
1
2
…
14
15
16
17
18
19
20
21
22
…
46
47
→