Ecosyste.ms: Issues

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

GitHub / adamwalker/haskell_cudd issues and pull requests

#19 - Dead CUDD download link

Issue - State: open - Opened by OverBern over 1 year ago

#18 - Stop including <mtr.h> and hard-code MTR_TYPES values

Pull Request - State: open - Opened by msakai over 2 years ago

#17 - Use spaces instead of tab character

Pull Request - State: open - Opened by msakai over 2 years ago

#16 - fix duplicated exports

Pull Request - State: open - Opened by msakai over 2 years ago

#15 - Include stdlib.h for using malloc() in c_sources/cuddwrap.c

Pull Request - State: open - Opened by msakai over 2 years ago

#14 - countMintermExact is broken

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

#13 - Installation issues

Issue - State: open - Opened by MaximilianAlgehed over 7 years ago - 5 comments

#12 - a general traversal function

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

#11 - exact model count

Pull Request - State: closed - Opened by jwaldmann over 7 years ago - 1 comment

#10 - use a Boolean class

Issue - State: closed - Opened by jwaldmann over 7 years ago - 5 comments

#9 - thread safety?

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

#8 - exact model count (provide binding for Cudd_ApaCountMinterm)

Issue - State: closed - Opened by jwaldmann over 7 years ago - 3 comments

#7 - more streamlined interface?

Issue - State: closed - Opened by jwaldmann over 7 years ago - 5 comments

#6 - how to install on Fedora (using their cudd package)

Issue - State: closed - Opened by jwaldmann about 8 years ago - 8 comments

#5 - lazily calculate allSat

Issue - State: closed - Opened by maweki over 8 years ago - 2 comments

#4 - Hiding amibiguous imports

Pull Request - State: closed - Opened by maweki about 9 years ago

#3 - Removed superfluous lines from readme. They are not used in the function...

Pull Request - State: closed - Opened by maweki about 9 years ago - 1 comment

#2 - Hiding amibiguous imports

Pull Request - State: closed - Opened by maweki about 9 years ago - 10 comments

#1 - Issue installing haskell_cudd (Ambiguous occurrence `unsafeForeignPtrToPtr')

Issue - State: closed - Opened by maweki about 9 years ago - 4 comments