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

103

push

travis-ci

mAarnos 
Fixed an inefficiency with hashing

Probably should have a custom HashMap with Fowler–Noll–Vo instead of
SipHash 2-4

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 indexing
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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  
101 indexing Fixed LALRPOP grammar push mAarnos travis-ci pending completion  
99 indexing Fixed one more bug with PDTree push mAarnos travis-ci pending completion  
98 indexing Fixed several problems with PDTree push mAarnos travis-ci pending completion  
96 indexing Relocated indexing push mAarnos travis-ci pending completion  
95 indexing Now uses standard clause selection heuristic push mAarnos travis-ci pending completion  
94 indexing Improved time limit handling Downside is that now we have global state in the proof search, which forces us to run its tests serially push mAarnos travis-ci pending completion  
93 indexing Separated subsumption into unit and non-unit push mAarnos travis-ci pending completion  
92 indexing Removed one dependency push mAarnos travis-ci pending completion  
See All Builds (56)