johnyf / dd / 135

Builds Branch Commit Type Ran Committer Via Coverage
135 dev DOC: add version 0.4.1 to changelog push johnyf travis-ci pending completion   set done
134 dev ENH: add extension module `dd.sylvan` push johnyf travis-ci pending completion   set done
133 dev ENH: add extension module `dd.sylvan` push johnyf travis-ci pending completion   set done
132 sylvan ENH: add extension module `dd.sylvan` push johnyf travis-ci pending completion   set done
131 sylvan DOC: list `sylvan` in short package description in `setup.py` push johnyf travis-ci pending completion   set done
130 dev DOC: note that both TLA+ and Promela syntax are supported demonstrate both in examples. push johnyf travis-ci pending completion   set done
129 dev BUG: in Python 2 use `sys.maxint` for `max_nodes` of `bdd.BDD` and `mdd.MDD`, because `xrange` in method `BDD._next_free_int` is implemented using C long (which is limited by `sys.maxint`) and not `Py_ssize_t`. In Python 3, this limitation does n... push johnyf travis-ci pending completion   set done
128 sylvan squash: rm commented lines from `.travis.yml` push johnyf travis-ci pending completion   set done
127 sylvan DRAFT: travis push johnyf travis-ci pending completion   set done
116 dev fixup! API: raise `AssertionError` if `care_bits < support` in `BDD.sat_iter` push johnyf travis-ci pending completion   set done
114 dev DOC: improve `dd.cudd` installation instructions in README push johnyf travis-ci pending completion   set done
113 dev REL: bump version to 0.4.1 push johnyf travis-ci pending completion   set done
111 v0.4.0 BUG: use `list` of `tuple`s instead of `dict` for parsing renaming pairs because `astutils.ast.Terminal` is a user-defined class, but defines `__eq__` and not `__hash__`. So, it is incorrect to use instances as keys. Moreover, this is a python 2... push johnyf travis-ci pending completion   set done
112 master REL: bump version to 0.4.1 push johnyf travis-ci pending completion   set done
110 dev BUG: use `list` of `tuple`s instead of `dict` for parsing renaming pairs because `astutils.ast.Terminal` is a user-defined class, but defines `__eq__` and not `__hash__`. So, it is incorrect to use instances as keys. Moreover, this is a python 2... push johnyf travis-ci pending completion   set done