• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

msakai / haskell-decision-diagrams / 34

Builds Branch Commit Type Ran Committer Via Coverage
34 feature/work-on-newtype-instead-of-node-type clean up push 22 Oct 2021 02:54PM UTC Masahiro Sakai github-actions pending completion   set done
33 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/9c431e716">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/5492d48c94792cb81afcdefec56f37163f89fd8... push 22 Oct 2021 04:08AM UTC GitHub github-actions pending completion   set done
32 separate-and-bounds-dependencies separate dependencies and add bounds push 22 Oct 2021 04:06AM UTC Masahiro Sakai github-actions pending completion   set done
31 main Merge pull request #2 from msakai/feature/more-ops push 21 Oct 2021 02:57PM UTC GitHub github-actions pending completion   set done
29 feature/more-ops improve documentation of ZDD.fold and ZDD.fold' a little push 21 Oct 2021 02:41PM UTC Masahiro Sakai github-actions pending completion   set done
30 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/61a72ab52">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/c339123a7d2f7a9add05c486fd337b8f7b00f87... push 21 Oct 2021 02:39PM UTC GitHub github-actions pending completion   set done
27 feature/more-ops add ZDD.mapInsert and ZDD.mapDelete push 21 Oct 2021 02:21PM UTC Masahiro Sakai github-actions pending completion   set done
28 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/5c25976a1">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/05bc1cfa91cfbf0160163cbcdb6d9017c608bea... push 21 Oct 2021 02:20PM UTC GitHub github-actions pending completion   set done
25 feature/more-ops add ZDD.uniformM push 21 Oct 2021 10:44AM UTC Masahiro Sakai github-actions pending completion   set done
26 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/85b9b0aa9">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/764a77dd036f3954a825ee563a9d89ef32b0470... push 21 Oct 2021 10:42AM UTC GitHub github-actions pending completion   set done
22 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/56234dcdf">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/40bc6200fb82f597bfe4f65791d8ba145fb25fc... push 20 Oct 2021 01:08PM UTC GitHub github-actions pending completion   set done
21 feature/more-ops let Item type of IsList to be IntSet instead of [Int] push 20 Oct 2021 01:08PM UTC Masahiro Sakai github-actions pending completion   set done
19 feature/more-ops clean up using ZDD.fold push 20 Oct 2021 04:48AM UTC Masahiro Sakai github-actions pending completion   set done
20 HEAD <a href="https://github.com/msakai/haskell-decision-diagrams/commit/8a1e5c240">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/4a368ba7deee33a51180702f108136ee514367f... push 20 Oct 2021 04:47AM UTC GitHub github-actions pending completion   set done
17 feature/more-ops add ZDD.member and ZDD.notMember push 19 Oct 2021 03:41PM UTC Masahiro Sakai github-actions pending completion   set done
  • ← Previous
  • 1
  • 2
  • …
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • Next →
  • Back to Repo
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc