knowsys / vlog4j
84%

DEFAULT BRANCH: master
Repo Added
Files 116
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: SELECT
CHANGE BRANCH
x

1377

push

travis-ci

web-flow 
Merge pull request #117 from knowsys/extensible-parser

Parser: implement extension hooks

2077 of 2459 relevant lines covered (84.47%)

0.84 hits per line

Relevant lines Covered
2459 RELEVANT LINES 2077 COVERED LINES
0.84 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
1377 master Merge pull request #117 from knowsys/extensible-parser Parser: implement extension hooks push web-flow travis-ci pending completion  
1376 extensible-parser Core: Move skolemization into core push mmarx travis-ci pending completion  
1375 extensible-parser Core: Move skolemization into core Pull #117 web-flow travis-ci pending completion  
1374 extensible-parser Update release notes Pull #117 web-flow travis-ci pending completion  
1373 extensible-parser Update release notes push mmarx travis-ci pending completion  
1372 master Mention counting improvement push mkroetzsch travis-ci pending completion  
1371 master bump vlog version to require snapshot push mkroetzsch travis-ci pending completion  
1369 extensible-parser Core: Drop unused imports push mmarx travis-ci pending completion  
1370 extensible-parser Core: Drop unused imports Pull #117 web-flow travis-ci pending completion  
1368 extensible-parser Address review comments push mmarx travis-ci pending completion  
See All Builds (408)