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

leonardt / hwtypes
72%
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 new-sum
branch: new-sum
CHANGE BRANCH
x
Reset
  • new-sum
  • 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
  • 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

pending completion
415

Pull #96

travis-ci

web-flow
Change match interface slightly to better support assembled adt
Pull Request #96: New sum

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

1902 of 2646 relevant lines covered (71.88%)

0.72 hits per line

Relevant lines Covered
Build:
Build:
2646 RELEVANT LINES 1902 COVERED LINES
0.72 HITS PER LINE
Source Files on new-sum
  • List 0
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
415 new-sum Change match interface slightly to better support assembled adt Pull #96 23 Sep 2019 05:44PM UTC web-flow travis-ci pending completion  
414 new-sum Change match interface slightly to better support assembled adt push 19 Sep 2019 05:05PM UTC cdonovick travis-ci pending completion  
409 new-sum Add small test push 17 Sep 2019 04:47PM UTC cdonovick travis-ci pending completion  
408 new-sum Move to new match syntax push 17 Sep 2019 04:39PM UTC cdonovick travis-ci pending completion  
407 new-sum Merge pull request #93 from leonardt/rebind-fix Rebind fix push 10 Sep 2019 10:24PM UTC web-flow travis-ci pending completion  
404 new-sum allow ite over bits push 27 Aug 2019 07:38PM UTC cdonovick travis-ci pending completion  
399 new-sum Switch in to match push 07 Aug 2019 06:10PM UTC cdonovick travis-ci pending completion  
398 new-sum Major rework of Sum interfaces * remove attr access * add contains * add getitem * deprecate .value on ADT types Pull #91 05 Aug 2019 11:02PM UTC web-flow travis-ci pending completion  
397 new-sum Major rework of Sum interfaces * remove attr access * add contains * add getitem * deprecate .value on ADT types push 05 Aug 2019 11:00PM UTC cdonovick 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