leonardt
/
hwtypes
81%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
no-mixin
branch: no-mixin
CHANGE BRANCH
x
-
no-mixin
-
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
-
mod-fix
-
modifiers
-
move-operators
-
name-cb
-
new-sum
-
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
-
no-mixin
- 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
- mod-fix
- modifiers
- move-operators
- name-cb
- new-sum
- 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
coverage: 80.584% (+0.04%) from 80.545%
github
20 of 20 new or added lines in 2 files covered. (100.0%)
2731 of 3389 relevant lines covered (80.58%)
1.61 hits per line
Relevant lines Covered
3389
RELEVANT LINES
2731
COVERED LINES
1.61
HITS PER LINE
Source Files on no-mixin
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 6018422967 | no-mixin | Remove use of mixin bv methods | Pull #154 |  cdonovick |
github |
80.58 |