msakai / haskell-decision-diagrams / 143

Builds Branch Commit Type Ran Committer Via Coverage
143 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/9704cf301">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/6ee5ea0b6ed89f4dae1289efe577ffa0a9221c9... push GitHub github-actions pending completion   set done
142 feature/unfold avoid using Test.QuickCheck.Monadic push Masahiro Sakai github-actions pending completion   set done
139 main require base >=4.11.0.0 (GHC >=8.4) push Masahiro Sakai github-actions pending completion   set done
138 main Merge pull request #22 from msakai/uniformM-test-no-quickcheck-monadic push GitHub github-actions pending completion   set done
137 main Merge pull request #21 from msakai/refine-to-list push GitHub github-actions pending completion   set done
136 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/491d7bb44">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/b8c1e7b70cf84a69bba608e321a1bcd3b492cba... push GitHub github-actions pending completion   set done
135 uniformM-test-no-quickcheck-monadic stop using Test.QuickCheck.Monadic for testing ZDD.uniformM push Masahiro Sakai github-actions pending completion   set done
133 refine-to-list make toList to return sorted list push Masahiro Sakai github-actions pending completion   set done
134 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/e00869bc1">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/a508ddd4b1107f627c0ac5ea7e64278c2766df7... push GitHub github-actions pending completion   set done
132 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/be6a84c77">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/b84c5b37fa842c0369452a463941479421fbeb3... push GitHub github-actions pending completion   set done
131 feature/doc-test add more doctests push Masahiro Sakai github-actions pending completion   set done
130 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/5ae61e5ee">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/5d766c38fe4f0cd92b78cd14bb4c25099e1f819... push GitHub github-actions pending completion   set done
129 feature/doc-test add doctest for ZDD.size push Masahiro Sakai github-actions pending completion   set done
128 main fix typo and remove trailing spaces push Masahiro Sakai github-actions pending completion   set done
127 feature/unfold add ZDD.combinations push Masahiro Sakai github-actions pending completion   set done