D

dd-python

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 22, 2025 — Aug 22, 2026 Showing page 43 of 47 Search / Filter on:
mv function to `astutils.rewrite_tables`	Ioannis Filippidis	More...				over 11 years ago
improve readme, add "tests" section	Ioannis Filippidis	More...				over 11 years ago
build `bdd.Parser` during setup	Ioannis Filippidis	More...				over 11 years ago
check that vars are adjacent before swap	Ioannis Filippidis	More...				over 11 years ago
BUG: ensure that Q contains only positive nodes	Ioannis Filippidis	More...				over 11 years ago
refactor	Ioannis Filippidis	More...				over 11 years ago
improve comments and docstrings	Ioannis Filippidis	More...				over 11 years ago
add method: `BDD.ref`	Ioannis Filippidis	More...				over 11 years ago
allow negated nodes in `BDD.__contains__`	Ioannis Filippidis	More...				over 11 years ago
do not collect keyword args in `BDD.__init__`	Ioannis Filippidis	More...				over 11 years ago
rm unused attribute `dddmp.Lexer.file`	Ioannis Filippidis	More...				over 11 years ago
update parser logger in test	Ioannis Filippidis	More...				over 11 years ago
use same boolean constants as Python (in test)	Ioannis Filippidis	More...				over 11 years ago
refactor	Ioannis Filippidis	More...				over 11 years ago
pep8	Ioannis Filippidis	More...				over 11 years ago
refactor setup.py	Ioannis Filippidis	More...				over 11 years ago
add PLY parser for Boolean formulae	Ioannis Filippidis	More...				over 11 years ago
replace sets by tuples for efficiency	Ioannis Filippidis	More...				over 11 years ago
bump version to 0.0.3	Ioannis Filippidis	More...				over 11 years ago
return if given empty renaming `dict`	Ioannis Filippidis	More...				over 11 years ago
add `"diff"` operator to method `apply`	Ioannis Filippidis	More...				over 11 years ago
BUG: assert given node in bdd	Ioannis Filippidis	More...				over 11 years ago
improve error messages	Ioannis Filippidis	More...				over 11 years ago
BUG: `rename` of negated edges	Ioannis Filippidis	More...				over 11 years ago
BUG: revert to incremental `dict` copies in `sat_iter`	Ioannis Filippidis	More...				over 11 years ago
BUG: recurse also if current var is quantified	Ioannis Filippidis	More...				over 11 years ago
update docstring: `qvars` is not modified	Ioannis Filippidis	More...				over 11 years ago
place negation label `-1` at edge tail	Ioannis Filippidis	More...				over 11 years ago
test using travis, show build and coverage status	Ioannis Filippidis	More...				over 11 years ago
TRIV: refactor	Ioannis Filippidis	More...				over 11 years ago

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