leonardt
/
hwtypes
71%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
mod-fix
branch: mod-fix
CHANGE BRANCH
x
-
mod-fix
-
abstract-meta
-
better-repr
-
bit-random
-
bv-len
-
concat
-
dead-code
-
dynamic-product
-
fail-old
-
fix-ovf
-
fp-smt
-
fp-uf
-
hot-fix-repr
-
leonardt-patch-1
-
magma-sum
-
master
-
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
-
mod-fix
- abstract-meta
- better-repr
- bit-random
- bv-len
- concat
- dead-code
- dynamic-product
- fail-old
- fix-ovf
- fp-smt
- fp-uf
- hot-fix-repr
- leonardt-patch-1
- magma-sum
- master
- 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
1847 of 2585 relevant lines covered (71.45%)
0.71 hits per line
Relevant lines Covered
2585
RELEVANT LINES
1847
COVERED LINES
0.71
HITS PER LINE
Source Files on mod-fix
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 387 | mod-fix | Make modifiers work with ADT types | Pull #88 |  web-flow |
travis-ci | pending completion | |
| 386 | mod-fix | Make modifiers work with ADT types | push |  cdonovick |
travis-ci | pending completion |