msakai
/
haskell-decision-diagrams
83%
main: 88%
main: 88%
|
Repo Added
|
Files
4
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
feature/unfold
branch: feature/unfold
CHANGE BRANCH
x
-
feature/unfold
-
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/more-ops
-
feature/num-nodes
-
feature/other-extensions
-
feature/restrictLaw-tests
-
feature/shared-graph-type
-
feature/signature-types
-
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/unfold
- 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/more-ops
- feature/num-nodes
- feature/other-extensions
- feature/restrictLaw-tests
- feature/shared-graph-type
- feature/signature-types
- 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
862 of 1040 relevant lines covered (82.88%)
0.83 hits per line
Relevant lines Covered
1040
RELEVANT LINES
862
COVERED LINES
0.83
HITS PER LINE
Source Files on feature/unfold
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 160 | feature/unfold | add pseudo-boolean constraint functions to BDD | push | Masahiro Sakai | github-actions | pending completion | |
| 158 | feature/unfold | fix variable ordering in ZDD.combinations | push | Masahiro Sakai | github-actions | pending completion | |
| 142 | feature/unfold | avoid using Test.QuickCheck.Monadic | push | Masahiro Sakai | github-actions | pending completion | |
| 127 | feature/unfold | add ZDD.combinations | push | Masahiro Sakai | github-actions | pending completion |