D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 14 hours 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 45 of 47 Search / Filter on:
merge dump methods into one: `BDD.dump`	Ioannis Filippidis	More...				over 11 years ago
add `Function` wrapper for nodes and test it	Ioannis Filippidis	More...				over 11 years ago
BUG: if edge is complemented, then negate expr in `to_expr`	Ioannis Filippidis	More...				over 11 years ago
add `BDD` methods: `incref`, `decref`	Ioannis Filippidis	More...				over 11 years ago
highlight python code fragments in readme	Ioannis Filippidis	More...				over 11 years ago
update readme	Ioannis Filippidis	More...				over 11 years ago
ignore .txt, .pk (pickle) files	Ioannis Filippidis	More...				over 11 years ago
test `BDD` methods `dump` and `load`	Ioannis Filippidis	More...				over 11 years ago
add function: `load` to `dddmp` module and test it	Ioannis Filippidis	More...				over 11 years ago
mv dddmp loading example to external file	Ioannis Filippidis	More...				over 11 years ago
add assertions and improve tests	Ioannis Filippidis	More...				over 11 years ago
test canonicity of complemented edges	Ioannis Filippidis	More...				over 11 years ago
add `dump` and `load` methods to `BDD` using `pickle`	Ioannis Filippidis	More...				over 11 years ago
check `_pred` and `ref` in `BDD.assert_consistent`	Ioannis Filippidis	More...				over 11 years ago
add `BDD.__copy__`	Ioannis Filippidis	More...				over 11 years ago
init `_ind2var`	Ioannis Filippidis	More...				over 11 years ago
add garbage collection using reference counting	Ioannis Filippidis	More...				over 11 years ago
add method: BDD.level_to_variable	Ioannis Filippidis	More...				over 11 years ago
remove hidden attributes from class docstring	Ioannis Filippidis	More...				over 11 years ago
roots not mandatory any more, nor used anywhere	Ioannis Filippidis	More...				over 11 years ago
rename method: BDD.update_pairs_table -> update_predecessors	Ioannis Filippidis	More...				over 11 years ago
add cache to `sat_len`	Ioannis Filippidis	More...				over 11 years ago
silence parser logging in tests	Ioannis Filippidis	More...				over 11 years ago
test complemented edges	Ioannis Filippidis	More...				over 11 years ago
implement complemented edges	Ioannis Filippidis	More...				over 11 years ago
test dddmp	Ioannis Filippidis	More...				over 11 years ago
handle roots loaded from dddmp	Ioannis Filippidis	More...				over 11 years ago
BUG: swap successor order from (high, low) to (low, high)	Ioannis Filippidis	More...				over 11 years ago
BUG: `dict` does not allow additional attributes	Ioannis Filippidis	More...				over 11 years ago
handle case of omitted `ordered_vars`	Ioannis Filippidis	More...				over 11 years ago

←
1
2
…
39
40
41
42
43
44
45
46
47
→