johnyf / dd
88%

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 master
branch: master
CHANGE BRANCH
x

245

push

travis-ci

johnyf 
REL: bump version to 0.5.5

7880 of 8980 relevant lines covered (87.75%)

0.88 hits per line

Relevant lines Covered
8980 RELEVANT LINES 7880 COVERED LINES
0.88 HITS PER LINE
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
245 master REL: bump version to 0.5.5 push johnyf travis-ci pending completion  
243 master DOC: add version 0.5.4 to CHANGELOG push johnyf travis-ci pending completion  
236 master added test Pull #34 web-flow travis-ci pending completion  
235 master added pruning method I added a method for cleaning a bdd such that all variables that are not active in the bdd are removed and the levels are renumbered. This method deletes all variables at once. Thereby the unnecessary swapping of empty variab... Pull #34 web-flow travis-ci pending completion  
233 master REL: download same CUDD tarball from a mirror to ensure stability of tests on Travis CI, and of package installation. The tarball hash is unchanged. This change has been motivated by recent unavailability of the location: ftp://vlsi.colorado.ed... push johnyf travis-ci pending completion  
230 master REL: bump copyright year range to 2018 in LICENSE push johnyf travis-ci pending completion  
226 master REL: bump version to 0.5.4 push johnyf travis-ci pending completion  
215 master REL: bump version to 0.5.3 push johnyf travis-ci pending completion  
186 master REL: bump version to 0.5.2 push johnyf travis-ci pending completion  
178 master ENH: implement all comparisons in `cudd.Function.__richcmp__` push johnyf travis-ci pending completion  
See All Builds (201)