leonardt
/
hwtypes
79%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
radd
branch: radd
CHANGE BRANCH
x
-
radd
-
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-mixin
-
no-old
-
not-implemented
-
order
-
ordered
-
product-cache
-
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
-
radd
- 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-mixin
- no-old
- not-implemented
- order
- ordered
- product-cache
- 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
push
github
GitHub
2734 of 3471 relevant lines covered (78.77%)
1.58 hits per line
Relevant lines Covered
3471
RELEVANT LINES
2734
COVERED LINES
1.58
HITS PER LINE
Source Files on radd
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 3251615662 | radd | Update linux-test.yml | push | GitHub | github | pending completion | |
| 3251615718 | radd | Merge 1db48d353 into 1a980e5d9 | Pull #151 | GitHub | github | pending completion |