Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yav/presburger issues and pull requests
#11 - Cleanups. Make compile with GHC-7.2..GHC-8.10
Pull Request -
State: closed - Opened by phadej about 4 years ago
- 1 comment
#10 - Fix compatibility with GHC 8.8+
Pull Request -
State: closed - Opened by felixonmars over 4 years ago
#9 - new release
Issue -
State: open - Opened by clinty almost 6 years ago
- 2 comments
#8 - Fix compatibility with containers 0.6
Pull Request -
State: closed - Opened by felixonmars almost 6 years ago
- 1 comment
#7 - Workaround for GHC 8.4 (hides Semigroup.<>)
Pull Request -
State: closed - Opened by konn almost 7 years ago
- 2 comments
#6 - Fix license tag in Cabal file
Pull Request -
State: closed - Opened by peti about 7 years ago
- 1 comment
#5 - Needs GHC >= 7.2 due to usage of Trustworthy
Pull Request -
State: open - Opened by bergmark over 9 years ago
#4 - Test suite cannot compile
Issue -
State: closed - Opened by peti over 9 years ago
- 1 comment
#3 - getExprBound sometimes doesn't return the strictest possible bound
Issue -
State: closed - Opened by Jaak almost 10 years ago
- 1 comment
#2 - Fix bug in iPickBounded; don't introduce a disjunction when translating <=
Pull Request -
State: closed - Opened by nick8325 almost 10 years ago
#1 - Model found that does not satisfy the formula
Issue -
State: closed - Opened by nick8325 almost 10 years ago
- 5 comments