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

msakai / haskell-decision-diagrams
88%
main: 88%

Build:
Build:
LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: main
Repo Added 17 Oct 2021 08:21AM UTC
Files 4
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 feature/more-ops
branch: feature/more-ops
CHANGE BRANCH
x
Reset
  • feature/more-ops
  • HEAD
  • avoid-spurious-incomplete-patterns-warning
  • clean-up-tests
  • feature/algebra-coalgebra
  • feature/bdd-leaf
  • feature/bdd-more-ops
  • feature/bdd-sat
  • feature/bdd-uniform-sat
  • feature/callstack
  • feature/common-sig
  • feature/desc-order
  • feature/doc-test
  • feature/fixpoints
  • feature/fold-laziness
  • feature/graph
  • feature/num-nodes
  • feature/other-extensions
  • feature/restrictLaw-tests
  • feature/shared-graph-type
  • feature/signature-types
  • feature/unfold
  • feature/work-on-newtype-instead-of-node-type
  • feature/zdd-min-max
  • feature/zdd-subsets
  • feature/zdd-test-jdd
  • hide-node-type
  • main
  • ops-cleanup
  • refine-to-list
  • separate-and-bounds-dependencies
  • test
  • uniformM-test-no-quickcheck-monadic
  • update-stack-lts-202208
  • zdd-uniform-test-less-flaky

pending completion
29

push

github-actions

Masahiro Sakai
improve documentation of ZDD.fold and ZDD.fold' a little

374 of 423 relevant lines covered (88.42%)

0.88 hits per line

Relevant lines Covered
Build:
Build:
423 RELEVANT LINES 374 COVERED LINES
0.88 HITS PER LINE
Source Files on feature/more-ops
  • Tree
  • List 3
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29 feature/more-ops improve documentation of ZDD.fold and ZDD.fold' a little push 21 Oct 2021 02:41PM UTC Masahiro Sakai github-actions pending completion  
27 feature/more-ops add ZDD.mapInsert and ZDD.mapDelete push 21 Oct 2021 02:21PM UTC Masahiro Sakai github-actions pending completion  
25 feature/more-ops add ZDD.uniformM push 21 Oct 2021 10:44AM UTC Masahiro Sakai github-actions pending completion  
21 feature/more-ops let Item type of IsList to be IntSet instead of [Int] push 20 Oct 2021 01:08PM UTC Masahiro Sakai github-actions pending completion  
19 feature/more-ops clean up using ZDD.fold push 20 Oct 2021 04:48AM UTC Masahiro Sakai github-actions pending completion  
17 feature/more-ops add ZDD.member and ZDD.notMember push 19 Oct 2021 03:41PM UTC Masahiro Sakai github-actions pending completion  
15 feature/more-ops add ZDD.fromSetOfIntSets push 18 Oct 2021 11:16AM UTC Masahiro Sakai github-actions pending completion  
13 feature/more-ops use minimalHittingSetsToda as default implementation push 18 Oct 2021 03:08AM UTC Masahiro Sakai github-actions pending completion  
12 feature/more-ops add minimalHittingSets of ZDD push 17 Oct 2021 03:58PM UTC Masahiro Sakai github-actions pending completion  
11 feature/more-ops add isSubsetOf, isProperSubsetOf, and disjoint to ZDD push 17 Oct 2021 12:01PM UTC Masahiro Sakai github-actions pending completion  
See All Builds (205)
  • 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