msakai
/
haskell-decision-diagrams
88%
main: 88%
main: 88%
|
Repo Added
|
Files
4
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
feature/common-sig
branch: feature/common-sig
CHANGE BRANCH
x
-
feature/common-sig
-
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/desc-order
-
feature/doc-test
-
feature/fixpoints
-
feature/fold-laziness
-
feature/graph
-
feature/more-ops
-
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
CHANGE BRANCH
x
-
feature/common-sig
- 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/desc-order
- feature/doc-test
- feature/fixpoints
- feature/fold-laziness
- feature/graph
- feature/more-ops
- 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
push
github-actions
Masahiro Sakai
982 of 1115 relevant lines covered (88.07%)
0.88 hits per line
Relevant lines Covered
1115
RELEVANT LINES
982
COVERED LINES
0.88
HITS PER LINE
Source Files on feature/common-sig
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 190 | feature/common-sig | move fold implementation from BDD/ZDD module to Node module | push | Masahiro Sakai | github-actions | pending completion | |
| 188 | feature/common-sig | move fold implementation from BDD/ZDD module to Node module | push | Masahiro Sakai | github-actions | pending completion | |
| 187 | feature/common-sig | change type signature of ZDD.fold and ZDD.fold' | push | Masahiro Sakai | github-actions | pending completion |