D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 12 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 40 of 47 Search / Filter on:
change extension to `.pxd`	Ioannis Filippidis	More...				about 11 years ago
rm todo	Ioannis Filippidis	More...				about 11 years ago
update README to mention python and `dd.autoref`	Ioannis Filippidis	More...				about 11 years ago
fetch cudd on travis	Ioannis Filippidis	More...				about 11 years ago
bump version to 0.1.1	Ioannis Filippidis	More...				about 11 years ago
bump version to 0.1.0	Ioannis Filippidis	More...				about 11 years ago
update `autoref` tests	Ioannis Filippidis	More...				about 11 years ago
pass var name to `BDD.compose`	Ioannis Filippidis	More...				about 11 years ago
dynamic variable addition	Ioannis Filippidis	More...				about 11 years ago
split: rename method: `BDD.level_to_variable` -> `var_at_level`	Ioannis Filippidis	More...				about 11 years ago
swap levels in `_level_to_var`, instead of erasing it	Ioannis Filippidis	More...				about 11 years ago
add method: `BDD._init_terminal`	Ioannis Filippidis	More...				about 11 years ago
check that renaming has valid levels	Ioannis Filippidis	More...				about 11 years ago
map variable names to levels in (pre)image	Ioannis Filippidis	More...				about 11 years ago
mention type in docstrings	Ioannis Filippidis	More...				about 11 years ago
extract parser as module: `dd._parser`	Ioannis Filippidis	More...				about 11 years ago
add module: `dd.buddy`	Ioannis Filippidis	More...				about 11 years ago
mv `Function` to `dd.autoref` module	Ioannis Filippidis	More...				about 11 years ago
avoid randomization inside `sat_iter` (it is nested)	Ioannis Filippidis	More...				about 11 years ago
deprecate `self.ordering` in favor of `self.vars`	Ioannis Filippidis	More...				about 11 years ago
update `var_at_level` test	Ioannis Filippidis	More...				about 11 years ago
add `BDD` methods: `add_var, level_of_var`	Ioannis Filippidis	More...				about 11 years ago
extract as method: `BDD.var`	Ioannis Filippidis	More...				about 11 years ago
rename method: `BDD.level_to_variable` -> `var_at_level`	Ioannis Filippidis	More...				about 11 years ago
BUG: init `self._ref[1] = 0`	Ioannis Filippidis	More...				about 11 years ago
add attr: `BDD.True` and `BDD.False`	Ioannis Filippidis	More...				about 11 years ago
add `cython` to `requirements.txt`	Ioannis Filippidis	More...				about 11 years ago
add module: `cudd`	Ioannis Filippidis	More...				about 11 years ago
MANIFEST: add cython	Ioannis Filippidis	More...				about 11 years ago
MANIFEST: add examples	Ioannis Filippidis	More...				about 11 years ago

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