dionyziz / rupture
71%

DEFAULT BRANCH: develop
Repo Added
Files 37
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 develop
branch: SELECT
CHANGE BRANCH
x

676

push

travis-ci

web-flow 
Merge pull request #335 from dionyziz/proof_typo_fixes

Fix inversed quotes

655 of 919 relevant lines covered (71.27%)

0.71 hits per line

Relevant lines Covered
919 RELEVANT LINES 655 COVERED LINES
0.71 HITS PER LINE
Source Files on develop
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
676 develop Merge pull request #335 from dionyziz/proof_typo_fixes Fix inversed quotes push web-flow travis-ci pending completion  
675 develop Compression happens over encryption Pull #345 web-flow travis-ci pending completion  
674 theory_title_fix Compression happens over encryption push dionyziz travis-ci pending completion  
671 develop Fix inversed quotes Pull #335 web-flow travis-ci pending completion  
670 proof_typo_fixes Fix inversed quotes push dionyziz travis-ci pending completion  
669 develop Merge pull request #332 from dionyziz/usenix_retitle Better titles push web-flow travis-ci pending completion  
667 usenix_retitle Better titles push dimkarakostas travis-ci pending completion  
658 develop Better titles Pull #332 web-flow travis-ci pending completion  
668 develop Better titles Pull #332 web-flow travis-ci pending completion  
661 develop Merge pull request #333 from dimkarakostas/usenix_reordering Move defense proofs to appendix push web-flow travis-ci pending completion  
See All Builds (485)