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

109

push

travis-ci

mAarnos 
Fixed clippy lints etc.

3051 of 3186 relevant lines covered (95.76%)

5.69 hits per line

Relevant lines Covered
3186 RELEVANT LINES 3051 COVERED LINES
5.69 HITS PER LINE
Source Files on performance-improvement
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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  
See All Builds (56)