bThink-BGU
/
BPjs
81%
master: 86%
master: 86%
|
Repo Added
|
Files
87
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
liveness
branch: liveness
CHANGE BRANCH
x
-
liveness
-
0.10.0
-
0.10.1
-
0.10.2
-
0.10.3
-
0.10.5
-
0.11.0
-
0.11.1
-
0.12.0
-
0.12.1
-
0.8.3
-
0.8.4
-
0.8.5
-
0.8.6
-
0.9.0
-
0.9.1
-
0.9.2
-
0.9.3
-
0.9.4
-
0.9.5
-
0.9.6
-
0.9.7
-
GenerateAllTracesInspector
-
RhinoContinuation2
-
add_strategy_to_bprog
-
bprogStubCloner
-
change-default-priority
-
custom-continuation-serialization
-
develop
-
feature/verification_timeout
-
fixSetToString
-
master
-
modified-rhino
-
rhino1.7.12
-
verificationStateTests
CHANGE BRANCH
x
-
liveness
- 0.10.0
- 0.10.1
- 0.10.2
- 0.10.3
- 0.10.5
- 0.11.0
- 0.11.1
- 0.12.0
- 0.12.1
- 0.8.3
- 0.8.4
- 0.8.5
- 0.8.6
- 0.9.0
- 0.9.1
- 0.9.2
- 0.9.3
- 0.9.4
- 0.9.5
- 0.9.6
- 0.9.7
- GenerateAllTracesInspector
- RhinoContinuation2
- add_strategy_to_bprog
- bprogStubCloner
- change-default-priority
- custom-continuation-serialization
- develop
- feature/verification_timeout
- fixSetToString
- master
- modified-rhino
- rhino1.7.12
- verificationStateTests
push
travis-ci
1627 of 2003 relevant lines covered (81.23%)
0.81 hits per line
Relevant lines Covered
2003
RELEVANT LINES
1627
COVERED LINES
0.81
HITS PER LINE
Source Files on liveness
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 323 | liveness | Updated docs | push |  michbarsinai |
travis-ci | pending completion | |
| 322 | liveness | Added detection of hot cycles at the b-thread level | push | michbarsinai |
travis-ci | pending completion | |
| 321 | liveness | Hot Cycles are now detected | push | michbarsinai |
travis-ci | pending completion | |
| 320 | liveness | Refactoring towards cycle detection. More tests. | push | michbarsinai |
travis-ci | pending completion | |
| 318 | liveness | Refactoring the verifiers | push | michbarsinai |
travis-ci | pending completion | |
| 317 | liveness | Added temperature interface to the JavaScript part | push | michbarsinai |
travis-ci | pending completion |