0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 19 hours ago.
Aug 23, 2025 — Aug 23, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
REL: require `networkx <= 2.2` on Python 2 in More... over 6 years ago
API: plot nodes for external BDD references More... over 6 years ago
MAI: import `Mapping` from `collections.abc` More... over 6 years ago
DEV: add rule `show_deprecated` to `Makefile` More... over 6 years ago
MAI: reimplement method `cudd.BDD.pick_iter` More... over 6 years ago
TST: calling the method `cudd.BDD.reorder` without args More... over 6 years ago
API: rm arg `debug` from method `bdd.BDD._next_free_int` More... over 6 years ago
MAI: assert that nodes are positive integers More... over 6 years ago
TST: call method `autoref.BDD.reorder`, instead of function More... over 6 years ago
BUG: if node is terminal, return `None` from low and high More... over 6 years ago
TST: call method `cudd.BDD.reorder`, instead of function More... over 6 years ago
TST: module `dd._copy` also with `autoref` More... over 6 years ago
REL: update `author` and `author_email` fields More... over 6 years ago
REL: bump copyright year range to 2020 in documentation More... over 6 years ago
REL: update LICENSE More... over 6 years ago
REL: bump copyright year range to 2020 in LICENSE More... over 6 years ago
DOC: add section "Copying" More... over 6 years ago
REL: set Cython language level to Python 2 More... over 6 years ago
DOC: update links to docs of Python 3 More... over 6 years ago
DOC: update link for BuDDy to SourceForge home More... over 6 years ago
DOC: update links after move to org tulip-control More... over 6 years ago
CI: install NetworkX 2.2 if testing on Python 2 More... over 6 years ago
DOC: update links after move to org tulip-control More... over 6 years ago
CI: add Python 3.7, 3.9; rm 3.4 More... over 6 years ago
TEST: regression test for #40 More... over 7 years ago
BUG: return reordering setting in cudd pick_iter More... over 7 years ago
MAI: assert BDD manager is consistent More... about 8 years ago
BUG: correctly create node when variable orders differ More... about 8 years ago
TST: case of loading BDD to different variable order More... about 8 years ago
API: rename `load_json` arg to `load_order` More... about 8 years ago