johnyf / dd / 94

Builds Branch Commit Type Ran Committer Via Coverage
94 master autoref: fix `compose()` call The underlying `bdd.BDD` instance is not callable. This might have been a copy-paste or rename error at some point. Pull #11 lummax travis-ci pending completion   set done
93 dev API: update `autoref.BDD.dump` and `load` methods push johnyf travis-ci pending completion   set done
92 master BUG: if `roots is None`, then dump all nodes push Ioannis Filippidis travis-ci pending completion   set done
91 master REL: bump version to 0.3.1 push johnyf travis-ci pending completion   set done
90 v0.3.0 DOC: add version 0.3.0 to changelog push johnyf travis-ci pending completion   set done
89 master DOC: add version 0.3.0 to changelog push johnyf travis-ci pending completion   set done
88 dev DOC: add version 0.3.0 to changelog push johnyf travis-ci pending completion   set done
87 dev amend push johnyf travis-ci pending completion   set done
86 dev API: rm class method `autoref.Function.from_expr` instead, use `autoref.BDD.add_expr`. Function objects were never intended to be instantiated independently from the associated manager. After all, the associated manager still has to be given to `... push johnyf travis-ci pending completion   set done
85 rename API: rm class method `autoref.Function.from_expr` instead, use `autoref.BDD.add_expr`. Function objects were never intended to be instantiated independently from the associated manager. After all, the associated manager still has to be given to `... push johnyf travis-ci pending completion   set done
83 dev DOC: initial memory estimate passed to cudd push johnyf travis-ci pending completion   set done
82 master REL: bump version to 0.2.3 push johnyf travis-ci pending completion   set done
81 master DOC: update changelog push johnyf travis-ci pending completion   set done
80 v0.2.2 DOC: update changelog push johnyf travis-ci pending completion   set done
79 dev DEV: add make rule `sdist_test_cudd` push johnyf travis-ci pending completion   set done