mAarnos / Serkr
96%
master: 96%

LAST BUILD BRANCH: proof-output
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 proof-output
branch: SELECT
CHANGE BRANCH
x

111

push

travis-ci

mAarnos 
Switched to the Fowler-Noll-Vo hash function

3020 of 3156 relevant lines covered (95.69%)

2.27 hits per line

Relevant lines Covered
3156 RELEVANT LINES 3020 COVERED LINES
2.27 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
111 proof-output Switched to the Fowler-Noll-Vo hash function push mAarnos travis-ci pending completion  
110 proof-output Fixed clippy lints etc. push mAarnos travis-ci pending completion  
109 performance-improvement Fixed clippy lints etc. push mAarnos travis-ci pending completion  
108 performance-improvement Fixed rewriting incompleteness We now restrict rewriting in the maximal terms of maximal positive literals. Might be ever so slightly slower but must be done. push mAarnos travis-ci pending completion  
107 performance-improvement Simplified stuff, added more comments and tests Not exactly performance improvement, but whatever. push mAarnos travis-ci pending completion  
106 proof-output Merge pull request #21 from mAarnos/indexing Added perfect discrimination trees push web-flow travis-ci pending completion  
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  
103 indexing Fixed an inefficiency with hashing Probably should have a custom HashMap with Fowler–Noll–Vo instead of SipHash 2-4 push mAarnos travis-ci pending completion  
102 indexing Fixed bugs and simplified things push mAarnos travis-ci pending completion  
See All Builds (56)