Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / msakai/pseudo-boolean issues and pull requests

#16 - Update CI configurations (2024-08)

Pull Request - State: closed - Opened by msakai 5 months ago

#15 - GitHub Actions: include hash of cabal file in the key for actions/cache

Pull Request - State: closed - Opened by msakai 5 months ago - 1 comment

#13 - GitHub Actions: Update actions

Pull Request - State: closed - Opened by msakai 9 months ago - 1 comment

#12 - Support model counting and model enumeration

Pull Request - State: open - Opened by msakai 9 months ago - 1 comment

#11 - Allow parsing general relational operator

Pull Request - State: closed - Opened by msakai 11 months ago - 1 comment

#10 - Allow parsing maximization problem

Pull Request - State: closed - Opened by msakai 11 months ago - 1 comment

#9 - Update CI configurations (2021-10)

Pull Request - State: closed - Opened by msakai over 3 years ago - 1 comment

#8 - GitHub Actions: use 'build' instead of 'pseudo-boolean' as a job name

Pull Request - State: closed - Opened by msakai over 3 years ago

#7 - allow base-4.15 (GHC 9.0)

Pull Request - State: closed - Opened by msakai over 3 years ago

#6 - use GHC-8.10.4 with lts-17.10 and GHC-8.8.4 with lts-16.31

Pull Request - State: closed - Opened by msakai over 3 years ago

#5 - Allow empty <sum>

Pull Request - State: closed - Opened by msakai over 3 years ago

#4 - Empty sum problem

Issue - State: open - Opened by msakai over 3 years ago

#3 - Add GitHub actions integration and use it for coveralls.io

Pull Request - State: closed - Opened by msakai about 4 years ago

#2 - Allow omitting white spaces at the end of weighted terms.

Issue - State: closed - Opened by msakai about 9 years ago - 2 comments

#1 - pseudo-boolean-0.1.0.0 fails its test suite

Issue - State: closed - Opened by peti over 9 years ago - 1 comment