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/bdd-more-ops
branch: feature/bdd-more-ops
CHANGE BRANCH
x

69

push

github-actions

Masahiro Sakai 
add BDD.ite

652 of 745 relevant lines covered (87.52%)

0.88 hits per line

Relevant lines Covered
745 RELEVANT LINES 652 COVERED LINES
0.88 HITS PER LINE
Source Files on feature/bdd-more-ops

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
69 feature/bdd-more-ops add BDD.ite push Masahiro Sakai github-actions pending completion  
67 feature/bdd-more-ops add BDD.ite push Masahiro Sakai github-actions pending completion  
65 feature/bdd-more-ops add BDD.(.=>.) and BDD.(.<=>.) push Masahiro Sakai github-actions pending completion  
63 feature/bdd-more-ops add BDD.forAll, BDD.exists, and BDD.existsUnique push Masahiro Sakai github-actions pending completion  
61 feature/bdd-more-ops add BDD.xor push Masahiro Sakai github-actions pending completion  
59 feature/bdd-more-ops add BDD.substSet push Masahiro Sakai github-actions pending completion  
57 feature/bdd-more-ops add BDD.substSet (WIP) push Masahiro Sakai github-actions pending completion  
55 feature/bdd-more-ops add BDD.substSet (WIP) push Masahiro Sakai github-actions pending completion  
53 feature/bdd-more-ops use BDD.fold' instead of BDD.fold in BDD.support push Masahiro Sakai github-actions pending completion  
49 feature/bdd-more-ops add BDD.restrictLaw push Masahiro Sakai github-actions pending completion  
See All Builds (205)