leonardt
/
hwtypes
79%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
typo
branch: typo
CHANGE BRANCH
x
-
typo
-
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
-
radd
-
rebind
-
rebind-bv
-
rebind-fix
-
rebind-keep
-
rebind-strict
-
reserved
-
roper
-
substitute
-
sum-attrs
-
tagged-union
-
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
-
typo
- 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
- radd
- rebind
- rebind-bv
- rebind-fix
- rebind-keep
- rebind-strict
- reserved
- roper
- substitute
- sum-attrs
- tagged-union
- 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
github
GitHub
2734 of 3472 relevant lines covered (78.74%)
1.57 hits per line
Relevant lines Covered
3472
RELEVANT LINES
2734
COVERED LINES
1.57
HITS PER LINE
Source Files on typo
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 4803174036 | typo | Merge 3a50170f2 into 99a6d7f69 | Pull #152 | GitHub | github | pending completion | |
| 4803170679 | typo | fix minor typo / export TaggedUnion | push | Caleb Donovick | github | pending completion |