ExcaliburZero / resolution-prover

DEFAULT BRANCH: master
Repo Added
Files 0
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

20

push

travis-ci

ExcaliburZero 
Add documentation for resolve function
Relevant lines Covered
NO TREND HISTORY
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20 master Add documentation for resolve function push ExcaliburZero travis-ci pending completion  
18 badges Add badge for documentation to readme push ExcaliburZero travis-ci pending completion  
19 master Add badge for documentation to readme push ExcaliburZero travis-ci pending completion  
17 master Add doc pushes to Travis CI config push ExcaliburZero travis-ci pending completion  
16 push_docs Add doc pushes to Travis CI config push ExcaliburZero travis-ci pending completion  
15 master Add some more documentation push ExcaliburZero travis-ci pending completion  
14 master Add more documentation push ExcaliburZero travis-ci pending completion  
13 master Add some documentation for Clause push ExcaliburZero travis-ci pending completion  
11 badges Add badges to readme push ExcaliburZero travis-ci pending completion  
12 master Add badges to readme push ExcaliburZero travis-ci pending completion  
See All Builds (19)