• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

leonardt / hwtypes
81%
master: 81%

Build:
Build:
LAST BUILD BRANCH: leonardt-patch-1
DEFAULT BRANCH: master
Repo Added 05 Jun 2019 05:16PM UTC
Files 17
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH roper
branch: roper
CHANGE BRANCH
x
Reset
  • roper
  • 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
  • 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

pending completion
5744444072

Pull #153

github

web-flow
Merge 4948fe41f into aa051b31e
Pull Request #153: Add reflected operators to bit and bv types

132 of 132 new or added lines in 4 files covered. (100.0%)

2720 of 3377 relevant lines covered (80.54%)

1.61 hits per line

Relevant lines Covered
Build:
Build:
3377 RELEVANT LINES 2720 COVERED LINES
1.61 HITS PER LINE
Source Files on roper
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
5744444072 roper Merge 4948fe41f into aa051b31e Pull #153 02 Aug 2023 10:33PM UTC web-flow github pending completion  
5744437517 roper Add reflected operators to bit and bv types push 02 Aug 2023 10:32PM UTC cdonovick github pending completion  
5744430453 roper Add reflected operators to bit and bv types push 02 Aug 2023 10:30PM UTC cdonovick github pending completion  
See All Builds (202)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc