mAarnos / Serkr
96%

DEFAULT BRANCH: master
Repo Added
Files 47
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

105

push

travis-ci

web-flow 
Merge pull request #21 from mAarnos/indexing

Added perfect discrimination trees

2973 of 3108 relevant lines covered (95.66%)

5.67 hits per line

Relevant lines Covered
3108 RELEVANT LINES 2973 COVERED LINES
5.67 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
105 master Merge pull request #21 from mAarnos/indexing Added perfect discrimination trees push web-flow travis-ci pending completion  
104 master Fixed an inefficiency with hashing Probably should have a custom HashMap with Fowler–Noll–Vo instead of SipHash 2-4 Pull #21 web-flow travis-ci pending completion  
84 master Merge pull request #20 from mAarnos/clause-selection Clause selection improvements push mAarnos travis-ci pending completion  
83 master Fixed some small inefficiencies Pull #20 mAarnos travis-ci pending completion  
80 master Merge pull request #17 from mAarnos/formula-renaming Implemented formula renaming push mAarnos travis-ci pending completion  
79 master Added a cmd line option for renaming limit Pull #17 mAarnos travis-ci pending completion  
71 master Merge pull request #16 from mAarnos/statistics-reporting Improved statistics reporting push mAarnos travis-ci pending completion  
70 master Fixed the script for analyzing stuff Pull #16 mAarnos travis-ci pending completion  
67 master Merge pull request #15 from mAarnos/code-cleanup Code cleanup push mAarnos travis-ci pending completion  
66 master Updated the LALRPOP version to use. Pull #15 mAarnos travis-ci pending completion  
See All Builds (56)