msakai / haskell-decision-diagrams / 126

Builds Branch Commit Type Ran Committer Via Coverage
126 main Merge pull request #18 from msakai/feature/fixpoints push GitHub github-actions pending completion   set done
125 feature/doc-test add doctest test suite push Masahiro Sakai github-actions pending completion   set done
123 feature/fixpoints add fixed point operators BDD.lfp and BDD.gfp push Masahiro Sakai github-actions pending completion   set done
124 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/fbcab5225">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/399348209facc2715b941480c28468d5ae9cb71... push GitHub github-actions pending completion   set done
122 main Merge pull request #17 from msakai/feature/other-extensions push GitHub github-actions pending completion   set done
118 feature/other-extensions add other-extensions fields to package.yaml push Masahiro Sakai github-actions pending completion   set done
121 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/6879188ff">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/a074a3a41162e29b15eb56900c0195dc5eaf39d... push GitHub github-actions pending completion   set done
119 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/5278aeffa">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/8ca266035eb937ae50ccf7dee69af4e3e4ef2c7... push GitHub github-actions pending completion   set done
120 feature/other-extensions add other-extensions fields to package.yaml push Masahiro Sakai github-actions pending completion   set done
117 main Merge pull request #16 from msakai/feature/signature-types push GitHub github-actions pending completion   set done
115 feature/signature-types update ChangeLog.md push Masahiro Sakai github-actions pending completion   set done
116 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/ec50adea4">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/e255a665e125aab1e73415751fd7da97cdf2873... push GitHub github-actions pending completion   set done
114 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/86c242cae">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/7befc17d65bf1de4120262565522d7c4aa7a3b5... push GitHub github-actions pending completion   set done
113 main fix haddock of ZDD.flatten push Masahiro Sakai github-actions pending completion   set done
112 feature/signature-types add notes on Sig type in the document of fold functions push Masahiro Sakai github-actions pending completion   set done