msakai / haskell-decision-diagrams / 173

Builds Branch Commit Type Ran Committer Via Coverage
173 main Merge pull request #26 from msakai/zdd-uniform-test-less-flaky push GitHub github-actions pending completion   set done
174 main Merge pull request #25 from msakai/feature/bdd-sat push GitHub github-actions pending completion   set done
171 zdd-uniform-test-less-flaky make ZDD.uniformM test less flaky push Masahiro Sakai github-actions pending completion   set done
172 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/19385d1f9">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/80cf659a2a8eeb457267b7077cf77cc2be5d8f3... push GitHub github-actions pending completion   set done
169 feature/bdd-sat Merge branch 'main' into feature/bdd-sat push GitHub github-actions pending completion   set done
170 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/57abe2b42">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/b23aa35a05eaa6ae4e1a3d25cd99c1722a54d20... push GitHub github-actions pending completion   set done
167 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/25650ea3b">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/044872e8320162d54c513639ea40fb6d98ba352... push GitHub github-actions pending completion   set done
168 main Merge pull request #24 from msakai/feature/fold-laziness push GitHub github-actions pending completion   set done
165 feature/bdd-sat add satisfiablity related functions to BDD push Masahiro Sakai github-actions pending completion   set done
163 feature/fold-laziness fix laziness of fold and fold' push Masahiro Sakai github-actions pending completion   set done
164 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/fd8f1fc9a">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/9752635324871a31899f8c24ad2feef5937336c... push GitHub github-actions pending completion   set done
162 main Merge pull request #19 from msakai/feature/unfold push GitHub github-actions pending completion   set done
161 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/ab86277f8">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/5691fad9848406404773165b8767335bcfe43b0... push GitHub github-actions pending completion   set done
160 feature/unfold add pseudo-boolean constraint functions to BDD push Masahiro Sakai github-actions pending completion   set done
159 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/d4eda7934">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/bc8c5168a277fac68c4678abbebbda587e1cce1... push GitHub github-actions pending completion   set done