Verites / verigraph
61%
master: 61%

LAST BUILD BRANCH: sndOrderFix
DEFAULT BRANCH: master
Repo Added
Files 77
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 refactoring
branch: refactoring
CHANGE BRANCH
x

528

push

travis-ci

ggazzi 
Improve documentation

2320 of 3821 relevant lines covered (60.72%)

0.61 hits per line

Relevant lines Covered
3821 RELEVANT LINES 2320 COVERED LINES
0.61 HITS PER LINE
Source Files on refactoring
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
528 refactoring Improve documentation push ggazzi travis-ci pending completion  
510 refactoring Improve pretty-printing in general push ggazzi travis-ci pending completion  
509 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push ggazzi travis-ci pending completion  
508 refactoring Improve Show instance for graph morphisms push ggazzi travis-ci pending completion  
505 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push ggazzi travis-ci pending completion  
504 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push ggazzi travis-ci pending completion  
502 refactoring Restructure TypedGraph API push ggazzi travis-ci pending completion  
501 refactoring Improvement to TypedGraph API Add: * `Data.Graphs.Morphism.fromGraphsAndLists` * `Data.TypedGraph.fromNodesAndEdges` * `Data.TypedGraph.Morphism.fromGraphsAndLists` Rename: * `Data.TypedGraph.Morphism.idMap` to `makeInclusion` push ggazzi travis-ci pending completion  
500 refactoring Restructure TypedGraph API push ggazzi travis-ci pending completion  
499 refactoring Restructure TypedGraph API push ggazzi travis-ci pending completion  
See All Builds (446)