msakai / haskell-decision-diagrams / 190

Builds Branch Commit Type Ran Committer Via Coverage
190 feature/common-sig move fold implementation from BDD/ZDD module to Node module push Masahiro Sakai github-actions pending completion   set done
191 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/67e7dacf1">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/aa05b5eb1b573db27f055c8f6a5e01e1db83084... push GitHub github-actions pending completion   set done
189 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/b7a62db1f">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/e9cf5b66db41a9803d3422368bc0860174730d1... push GitHub github-actions pending completion   set done
188 feature/common-sig move fold implementation from BDD/ZDD module to Node module push Masahiro Sakai github-actions pending completion   set done
187 feature/common-sig change type signature of ZDD.fold and ZDD.fold' push Masahiro Sakai github-actions pending completion   set done
186 main Merge pull request #29 from msakai/feature/algebra-coalgebra push GitHub github-actions pending completion   set done
185 main update ChangeLog.md push Masahiro Sakai github-actions pending completion   set done
183 feature/algebra-coalgebra add test cases relating inSig/outSig with fold/unfold push Masahiro Sakai github-actions pending completion   set done
184 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/613117f7d">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/7bd93c7f20ecefe0819353475a142ca9cb0adf1... push GitHub github-actions pending completion   set done
182 main Merge pull request #28 from msakai/feature/bdd-uniform-sat push GitHub github-actions pending completion   set done
180 feature/bdd-uniform-sat fix BDD.uniformSatM to work with mwc-random <0.15 push Masahiro Sakai github-actions pending completion   set done
181 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/ac08eecc5">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/ba003066b34f5e6d67d2a6910d23d4834b5f82e... push GitHub github-actions pending completion   set done
177 main Merge pull request #27 from msakai/feature/num-nodes push GitHub github-actions pending completion   set done
176 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/8c6b04c98">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/6b84b0e7ff2b4281a29af9531b7f21b600d17ad... push GitHub github-actions pending completion   set done
175 feature/num-nodes add BDD.numNodes and ZDD.numNodes push Masahiro Sakai github-actions pending completion   set done