msakai / haskell-decision-diagrams / 66

Builds Branch Commit Type Ran Committer Via Coverage
66 HEAD Merge 923fba20e into 8c3196dd8 push GitHub github-actions pending completion   set done
65 feature/bdd-more-ops add BDD.(.=>.) and BDD.(.<=>.) push Masahiro Sakai github-actions pending completion   set done
64 HEAD Merge b976d5707 into 8c3196dd8 push GitHub github-actions pending completion   set done
63 feature/bdd-more-ops add BDD.forAll, BDD.exists, and BDD.existsUnique push Masahiro Sakai github-actions pending completion   set done
61 feature/bdd-more-ops add BDD.xor push Masahiro Sakai github-actions pending completion   set done
62 HEAD Merge 4ba1564af into 8c3196dd8 push GitHub github-actions pending completion   set done
59 feature/bdd-more-ops add BDD.substSet push Masahiro Sakai github-actions pending completion   set done
60 HEAD Merge 6f6d5131a into 8c3196dd8 push GitHub github-actions pending completion   set done
58 HEAD Merge 3eff89bff into 8c3196dd8 push GitHub github-actions pending completion   set done
57 feature/bdd-more-ops add BDD.substSet (WIP) push Masahiro Sakai github-actions pending completion   set done
55 feature/bdd-more-ops add BDD.substSet (WIP) push Masahiro Sakai github-actions pending completion   set done
56 HEAD Merge 3b21fe0d8 into 8c3196dd8 push GitHub github-actions pending completion   set done
54 HEAD Merge 0f1b79797 into 8c3196dd8 push GitHub github-actions pending completion   set done
53 feature/bdd-more-ops use BDD.fold' instead of BDD.fold in BDD.support push Masahiro Sakai github-actions pending completion   set done
52 HEAD Merge c53af8783 into 8c3196dd8 push GitHub github-actions pending completion   set done