cuplv
/
cuanto
65%
develop: 73%
develop: 73%
|
Repo Added
|
Files
23
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
devops
branch: devops
CHANGE BRANCH
x
-
devops
-
abstract-domains
-
add-soot-dep
-
apron
-
apron-test
-
const-propagation-test-cases
-
cuanto-state
-
dev-environment
-
develop
-
fixtures
-
interpreter-integration
-
ir-lifting
-
ir-values
-
iss37_define_scoot_sublanguage
-
japron-test
-
jimple-interperter
-
jimple-interpreter
-
jsy-AI
-
jsy-ast
-
jsy-binding
-
jsy-boolean
-
jsy-functions
-
jsy-mutation
-
jsy-num-interp
-
jsy-numerical
-
jsy-primitives
-
jsy-string
-
jsy-syntax
-
logic
-
nix-shell
-
scala-smtlib
-
scoot
-
scoot-abstract
-
scoot-arithmetic
-
scoot-generalized
-
soot-loading-merge
-
soot-play
-
soot-setup
-
soot_loading_only
-
system-apron
-
tag_slow_tests
-
wala-setup
CHANGE BRANCH
x
-
devops
- abstract-domains
- add-soot-dep
- apron
- apron-test
- const-propagation-test-cases
- cuanto-state
- dev-environment
- develop
- fixtures
- interpreter-integration
- ir-lifting
- ir-values
- iss37_define_scoot_sublanguage
- japron-test
- jimple-interperter
- jimple-interpreter
- jsy-AI
- jsy-ast
- jsy-binding
- jsy-boolean
- jsy-functions
- jsy-mutation
- jsy-num-interp
- jsy-numerical
- jsy-primitives
- jsy-string
- jsy-syntax
- logic
- nix-shell
- scala-smtlib
- scoot
- scoot-abstract
- scoot-arithmetic
- scoot-generalized
- soot-loading-merge
- soot-play
- soot-setup
- soot_loading_only
- system-apron
- tag_slow_tests
- wala-setup
push
travis-ci
68 of 105 relevant lines covered (64.76%)
0.65 hits per line
Relevant lines Covered
105
RELEVANT LINES
68
COVERED LINES
0.65
HITS PER LINE
Source Files on devops
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 198 | devops | Add plugin for source code stats | push |  bechang |
travis-ci | pending completion | |
| 150 | devops | Merge branch 'develop' into devops | push |  web-flow |
travis-ci | pending completion | |
| 147 | devops | Add deployment of API doc via Travis | push | bechang |
travis-ci | pending completion | |
| 144 | devops | Add sbt-site for generating website pages | push | bechang |
travis-ci | pending completion | |
| 65 | devops | Try external linking | push | bechang |
travis-ci | pending completion | |
| 47 | devops | Add ci badge Add CI badge for the develop branch. | push | web-flow |
travis-ci | pending completion | |
| 38 | devops | Add Codacy Coverage | push | bechang |
travis-ci | pending completion | |
| 37 | devops | Merge pull request #6 from cuplv/jsy-ast Create FixFun library | push | web-flow |
travis-ci | pending completion | |
| 34 | devops | Merge branch 'jsy-ast' into develop | push | bechang |
travis-ci | pending completion | |
| 18 | devops | Add coveralls | push | bechang |
travis-ci | pending completion |