• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

johnyf / dd
81%
master: 88%

Build:
Build:
LAST BUILD BRANCH: v0.5.4
DEFAULT BRANCH: master
Repo Added 10 Mar 2015 10:07AM UTC
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
Reset
  • dev_0.5.0
  • abc
  • comparison
  • dev
  • dev_0.4.3
  • master
  • rename
  • reordering
  • sylvan
  • test_0.4.2
  • travis
  • travis_ci
  • v0.0.2
  • v0.0.3
  • v0.0.4
  • v0.1.0
  • v0.2.0
  • v0.2.1
  • v0.2.2
  • v0.3.0
  • v0.3.1
  • v0.4.0
  • v0.4.1
  • v0.4.2
  • v0.4.3
  • v0.5.0
  • v0.5.1
  • v0.5.2
  • v0.5.3
  • v0.5.4

pending completion
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
Build:
Build:
4051 RELEVANT LINES 3270 COVERED LINES
0.81 HITS PER LINE
Source Files on dev_0.5.0
  • List 0
  • Changed 2
  • Source Changed 2
  • Coverage Changed 2
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 08 Mar 2017 08:57AM UTC 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 25 Feb 2017 03:15AM UTC 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 23 Feb 2017 05:52AM UTC 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 22 Feb 2017 08:39AM UTC johnyf travis-ci pending completion  
168 dev_0.5.0 MAI: add assertion to ensure symmetry push 13 Feb 2017 07:18PM UTC johnyf travis-ci pending completion  
164 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push 12 Feb 2017 01:19AM UTC johnyf travis-ci pending completion  
163 dev_0.5.0 fixup! ENH: invoke reordering dynamically in `dd.bdd.BDD` push 12 Feb 2017 01:14AM UTC johnyf travis-ci pending completion  
154 dev_0.5.0 BUG: return `True` from `autoref.Function.__ne__` if given `None` push 08 Feb 2017 11:30PM UTC johnyf travis-ci pending completion  
153 dev_0.5.0 fixup! REF: extract init of `sylvan.Function` as function `wrap` push 29 Jan 2017 03:44PM UTC johnyf travis-ci pending completion  
See All Builds (201)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc