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

leonardt / hwtypes
81%

Build:
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 master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • 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
  • 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
  • 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

30 Aug 2023 02:15AM UTC coverage: 80.584% (+0.04%) from 80.545%
6019766153

push

github

web-flow
Merge pull request #154 from leonardt/no-mixin

Remove use of mixin bv methods

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
Build:
Build:
3389 RELEVANT LINES 2731 COVERED LINES
1.61 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
6019766153 master Merge pull request #154 from leonardt/no-mixin Remove use of mixin bv methods push 30 Aug 2023 02:16AM UTC web-flow github
80.58
5756353955 master Merge pull request #153 from leonardt/roper Add reflected operators to bit and bv types push 03 Aug 2023 10:45PM UTC web-flow github pending completion  
4804347333 master Merge pull request #152 from leonardt/typo push 26 Apr 2023 02:47AM UTC GitHub github pending completion  
3251663521 master Only deploy one version since sdist push 14 Oct 2022 05:06PM UTC Lenny Truong github pending completion  
3251653826 master Fix setup push 14 Oct 2022 05:04PM UTC Lenny Truong github pending completion  
3251640260 master Install gmpy master in deploy push 14 Oct 2022 05:01PM UTC Lenny Truong github pending completion  
3251631454 master Release 1.4.7 push 14 Oct 2022 04:59PM UTC Lenny Truong github pending completion  
3251625052 master Merge pull request #151 from leonardt/radd push 14 Oct 2022 04:58PM UTC GitHub github pending completion  
433 master Merge pull request #104 from leonardt/fp-uf Build UF backed fpvector push 03 Dec 2019 11:37PM UTC web-flow travis-ci pending completion  
428 master Merge pull request #94 from leonardt/substitute added a substitute method to SMTBit and SMTBitVector push 30 Sep 2019 01:57PM UTC web-flow travis-ci 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