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