johnyf / dd / 170

Builds Branch Commit Type Ran Committer Via Coverage
170 dev_0.5.0 BUG: handle case of `roots is None` in method `autoref.BDD.dump` close johnyf/dd#24 push johnyf travis-ci pending completion   set done
169 dev_0.5.0 API: add method `Function.__hash__` to `autoref, cudd, sylvan` interfaces. Together with the existing comparator methods, this defines `Function` as hashable. Previously nodes weren't hashable, even though Python by default lets user-defined typ... push johnyf travis-ci pending completion   set done
168 dev_0.5.0 MAI: add assertion to ensure symmetry push johnyf travis-ci pending completion   set done
167 v0.4.3 DOC: add version 0.4.3 to changelog push johnyf travis-ci pending completion   set done
166 master REL: bump version to 0.5.0 push johnyf travis-ci pending completion   set done
165 dev_0.4.3 DOC: add version 0.4.3 to changelog push johnyf travis-ci pending completion   set done
164 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push johnyf travis-ci pending completion   set done
163 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push johnyf travis-ci pending completion   set done
162 master REL: bump version to 0.4.3 push johnyf travis-ci pending completion   set done
160 master DOC: add version 0.4.2 to changelog push johnyf travis-ci pending completion   set done
161 v0.4.2 DOC: add version 0.4.2 to changelog push johnyf travis-ci pending completion   set done
159 test_0.4.2 DOC: add version 0.4.2 to changelog push johnyf travis-ci pending completion   set done
158 test_0.4.2 DOC: add version 0.4.2 to changelog push johnyf travis-ci pending completion   set done
157 reordering fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push johnyf travis-ci pending completion   set done
156 reordering MAI: add assertion to ensure symmetry push johnyf travis-ci pending completion   set done