leonardt
/
hwtypes
75%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
fp-smt
branch: fp-smt
CHANGE BRANCH
x
-
fp-smt
-
abstract-meta
-
better-repr
-
bit-random
-
bv-len
-
concat
-
dead-code
-
dynamic-product
-
fail-old
-
fix-ovf
-
fp-uf
-
hot-fix-repr
-
leonardt-patch-1
-
magma-sum
-
master
-
mod-fix
-
modifiers
-
move-operators
-
name-cb
-
new-sum
-
no-mixin
-
no-old
-
not-implemented
-
order
-
ordered
-
product-cache
-
radd
-
rebind
-
rebind-bv
-
rebind-fix
-
rebind-keep
-
rebind-strict
-
reserved
-
roper
-
substitute
-
sum-attrs
-
tagged-union
-
typo
-
v1.0.13
-
v1.1.0
-
v1.1.1
-
v1.1.2
-
v1.1.3
-
v1.1.4
-
v1.1.5
-
v1.1.6
-
v1.2.0
-
v1.3.0
-
v1.4.7
CHANGE BRANCH
x
-
fp-smt
- abstract-meta
- better-repr
- bit-random
- bv-len
- concat
- dead-code
- dynamic-product
- fail-old
- fix-ovf
- fp-uf
- hot-fix-repr
- leonardt-patch-1
- magma-sum
- master
- mod-fix
- modifiers
- move-operators
- name-cb
- new-sum
- no-mixin
- no-old
- not-implemented
- order
- ordered
- product-cache
- radd
- rebind
- rebind-bv
- rebind-fix
- rebind-keep
- rebind-strict
- reserved
- roper
- substitute
- sum-attrs
- tagged-union
- typo
- v1.0.13
- v1.1.0
- v1.1.1
- v1.1.2
- v1.1.3
- v1.1.4
- v1.1.5
- v1.1.6
- v1.2.0
- v1.3.0
- v1.4.7
travis-ci
232 of 232 new or added lines in 5 files covered. (100.0%)
1735 of 2327 relevant lines covered (74.56%)
0.75 hits per line
Relevant lines Covered
2327
RELEVANT LINES
1735
COVERED LINES
0.75
HITS PER LINE
Source Files on fp-smt
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 248 | fp-smt | Bug fixes | Pull #36 |  web-flow |
travis-ci | pending completion | |
| 247 | fp-smt | Bug fixes | push |  cdonovick |
travis-ci | pending completion | |
| 246 | fp-smt | Bug fixes, more testing | Pull #36 | web-flow |
travis-ci | pending completion |