dionyziz
/
rupture
71%
develop: 71%
develop: 71%
|
Repo Added
|
Files
37
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
detectability_proof
branch: detectability_proof
CHANGE BRANCH
x
-
detectability_proof
-
anticaching_tests
-
client_coverage
-
develop
-
django_coverage
-
masking_performance
-
master
-
oakland_compression
-
oakland_nontriviality
-
oakland_predicates
-
proof_typo_fixes
-
proofs_to_appendix
-
ref-sec-equivalence
-
solegga_intro
-
theory_title_fix
-
usenix_refsec
-
usenix_retitle
-
usenix_titles
-
v0.5.0
CHANGE BRANCH
x
-
detectability_proof
- anticaching_tests
- client_coverage
- develop
- django_coverage
- masking_performance
- master
- oakland_compression
- oakland_nontriviality
- oakland_predicates
- proof_typo_fixes
- proofs_to_appendix
- ref-sec-equivalence
- solegga_intro
- theory_title_fix
- usenix_refsec
- usenix_retitle
- usenix_titles
- v0.5.0
push
travis-ci
654 of 919 relevant lines covered (71.16%)
0.71 hits per line
Relevant lines Covered
919
RELEVANT LINES
654
COVERED LINES
0.71
HITS PER LINE
Source Files on detectability_proof
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 472 | detectability_proof | Prove that detectability follows from idealness + interdependence | push |  dionyziz |
travis-ci | pending completion | |
| 462 | detectability_proof | Prove that detectability follows from idealness + interdependence | push | dionyziz |
travis-ci | pending completion |