Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/aig issues and pull requests
#17 - Allow building with `tasty-1.5.*`
Pull Request -
State: closed - Opened by RyanGlScott 9 months ago
#16 - Allow building with `base-4.19.*` (GHC 9.8)
Pull Request -
State: closed - Opened by RyanGlScott 11 months ago
#15 - Support building with GHC 9.6
Pull Request -
State: closed - Opened by RyanGlScott over 1 year ago
#14 - Normalize symmetry in multiplication
Pull Request -
State: closed - Opened by RyanGlScott over 1 year ago
#13 - Allow building with base-4.17.* (GHC 9.4.*)
Pull Request -
State: closed - Opened by RyanGlScott almost 2 years ago
#12 - Replace `binary-parsers` dependency with `attoparsec`'s `Zepto`, allow building with GHC 9.2
Pull Request -
State: closed - Opened by RyanGlScott over 2 years ago
#11 - Replace `binary-parsers` dependency with `attoparsec`, allow building with GHC 9.2
Pull Request -
State: closed - Opened by RyanGlScott over 2 years ago
- 1 comment
#10 - Replace `binary-parsers` dependency with `attoparsec`?
Issue -
State: closed - Opened by RyanGlScott over 2 years ago
- 8 comments
#9 - Add hash consing to CompactGraph implementation
Pull Request -
State: closed - Opened by atomb over 3 years ago
- 1 comment
#8 - Add pure Haskell AIGER and CNF generation
Pull Request -
State: closed - Opened by atomb over 3 years ago
- 2 comments
#7 - Fix -Wstar-is-type warnings
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
#6 - Allow building with tasty-1.4
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
#5 - Bump upper constraint bound for base-compat.
Pull Request -
State: closed - Opened by kquick over 4 years ago
#4 - Add Travis build
Pull Request -
State: closed - Opened by gliptak almost 5 years ago
- 4 comments
#3 - update base-compat dependency constraint
Pull Request -
State: closed - Opened by pnwamk about 5 years ago
#2 - Wallace multiply
Pull Request -
State: closed - Opened by robdockins almost 6 years ago
- 1 comment
#1 - Bug with `ror`?
Issue -
State: closed - Opened by robdockins over 7 years ago
- 1 comment