johnyf / dd
81%
master: 88%

LAST BUILD BRANCH: v0.5.4
DEFAULT BRANCH: master
Repo Added
Files 51
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH dev_0.5.0
branch: dev_0.5.0
CHANGE BRANCH
x

173

push

travis-ci

johnyf 
DOC: add version 0.5.0 to CHANGELOG

3270 of 4051 relevant lines covered (80.72%)

0.81 hits per line

Relevant lines Covered
4051 RELEVANT LINES 3270 COVERED LINES
0.81 HITS PER LINE
Source Files on dev_0.5.0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
173 dev_0.5.0 DOC: add version 0.5.0 to CHANGELOG push johnyf travis-ci pending completion  
171 dev_0.5.0 ENH: add property `Function.support` for convenience, so that `u.support` in user code suffice, instead of `bdd.support(u)`, which is less readable and requires mentioning the `BDD` manager `bdd`. push johnyf travis-ci pending completion  
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  
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  
168 dev_0.5.0 MAI: add assertion to ensure symmetry push johnyf travis-ci pending completion  
164 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push johnyf travis-ci pending completion  
163 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push johnyf travis-ci pending completion  
154 dev_0.5.0 BUG: return `True` from `autoref.Function.__ne__` if given `None` push johnyf travis-ci pending completion  
153 dev_0.5.0 fixup! REF: extract init of `sylvan.Function` as function `wrap` push johnyf travis-ci pending completion  
See All Builds (201)