msakai / haskell-decision-diagrams / 18

Builds Branch Commit Type Ran Committer Via Coverage
18 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/37a57addc">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/8235258d5a127f773cfbb421cc080dd05033c45... push GitHub github-actions pending completion   set done
15 feature/more-ops add ZDD.fromSetOfIntSets push Masahiro Sakai github-actions pending completion   set done
16 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/7f88c629e">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/7fb68fcd1c77268f2773a96d2a6d3957a023108... push GitHub github-actions pending completion   set done
14 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/e884b8c9c">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/fc1096365469877c9792b2d04d2e8c27ec45b8f... push GitHub github-actions pending completion   set done
13 feature/more-ops use minimalHittingSetsToda as default implementation push Masahiro Sakai github-actions pending completion   set done
12 feature/more-ops add minimalHittingSets of ZDD push Masahiro Sakai github-actions pending completion   set done
11 feature/more-ops add isSubsetOf, isProperSubsetOf, and disjoint to ZDD push Masahiro Sakai github-actions pending completion   set done
10 main Merge pull request #1 from msakai/test push GitHub github-actions pending completion   set done
8 test configure GitHub Actions push Masahiro Sakai github-actions pending completion   set done
9 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/b8a07815b">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/a7aae251ded5f6ca60ff5ac5ea8404c18305b2f... push GitHub github-actions pending completion   set done