Ecosyste.ms: Issues

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

GitHub / letmaik/monadiccp issues and pull requests

#17 - Maintainer needed

Issue - State: open - Opened by letmaik over 4 years ago - 1 comment

#16 - Language.CPP.* ?

Issue - State: open - Opened by jwaldmann over 4 years ago

#15 - Cannot process EGMod

Issue - State: open - Opened by jwaldmann over 4 years ago - 1 comment

#14 - refutable patterns require MonadFail

Issue - State: open - Opened by jwaldmann over 4 years ago - 1 comment

#13 - build with ghc-8.10.2

Issue - State: open - Opened by jwaldmann over 4 years ago - 3 comments

#12 - wanted: more/easier automated tests

Issue - State: open - Opened by jwaldmann almost 7 years ago
Labels: enhancement

#11 - where is the Gecode backend?

Issue - State: closed - Opened by jwaldmann almost 7 years ago - 1 comment
Labels: question

#10 - compiles with ghc-8.2.2 (stackage lts-11.5)

Pull Request - State: closed - Opened by jwaldmann almost 7 years ago - 3 comments

#9 - Build failure with ghc 7.8.2

Issue - State: closed - Opened by hvraven over 10 years ago - 3 comments
Labels: bug

#8 - Divergence When Using @/=

Issue - State: open - Opened by jun0 over 11 years ago - 4 comments
Labels: bug

#7 - Remove Runtime Gecode Solver Backend from monadiccp package

Pull Request - State: closed - Opened by JTiko over 11 years ago

#6 - Exception when using "or"

Issue - State: open - Opened by letmaik over 11 years ago
Labels: bug

#5 - Exception on unnecessary inequality

Issue - State: open - Opened by letmaik over 11 years ago
Labels: bug

#4 - Add straight-forward introduction example

Issue - State: open - Opened by letmaik over 11 years ago
Labels: enhancement

#3 - Create a test suite

Issue - State: open - Opened by letmaik over 11 years ago
Labels: enhancement

#2 - Extract Gecode runtime into a separate library

Issue - State: closed - Opened by letmaik over 11 years ago
Labels: enhancement

#1 - Depend on official Monatron library

Issue - State: open - Opened by letmaik over 11 years ago
Labels: enhancement