• 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
  • Tree
  • List 17
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc