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

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: main
Repo Added
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

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
423 RELEVANT LINES 374 COVERED LINES
0.88 HITS PER LINE
Source Files on feature/more-ops

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 Masahiro Sakai github-actions pending completion  
27 feature/more-ops add ZDD.mapInsert and ZDD.mapDelete push Masahiro Sakai github-actions pending completion  
25 feature/more-ops add ZDD.uniformM push Masahiro Sakai github-actions pending completion  
21 feature/more-ops let Item type of IsList to be IntSet instead of [Int] push Masahiro Sakai github-actions pending completion  
19 feature/more-ops clean up using ZDD.fold push Masahiro Sakai github-actions pending completion  
17 feature/more-ops add ZDD.member and ZDD.notMember push Masahiro Sakai github-actions pending completion  
15 feature/more-ops add ZDD.fromSetOfIntSets push Masahiro Sakai github-actions pending completion  
13 feature/more-ops use minimalHittingSetsToda as default implementation push Masahiro Sakai github-actions pending completion  
12 feature/more-ops add minimalHittingSets of ZDD push Masahiro Sakai github-actions pending completion  
11 feature/more-ops add isSubsetOf, isProperSubsetOf, and disjoint to ZDD push Masahiro Sakai github-actions pending completion  
See All Builds (205)