Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/language-sally issues and pull requests
#14 - Allow building with GHC 9.6
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 over 1 year ago
#12 - Adapt to changes in GaloisInc/what4#226
Pull Request -
State: closed - Opened by RyanGlScott over 1 year ago
#11 - Allow building with `base-4.16` (GHC 9.2)
Pull Request -
State: closed - Opened by RyanGlScott about 2 years ago
#10 - Implement abduction-related methods in `what4`'s `SMTWriter` class
Pull Request -
State: closed - Opened by RyanGlScott about 2 years ago
#9 - Add support for Sally input variables
Pull Request -
State: closed - Opened by chameco over 2 years ago
#8 - language-sally-0.4.0.0
Pull Request -
State: closed - Opened by Ptival almost 3 years ago
- 1 comment
#7 - Relax what4 upper bounds
Pull Request -
State: closed - Opened by robdockins over 3 years ago
- 1 comment
#6 - Allow building with base-4.15 (GHC 9.0)
Pull Request -
State: closed - Opened by RyanGlScott over 3 years ago
- 1 comment
#5 - v0.3.0.0: update to upstream changes in crucible and what4
Pull Request -
State: closed - Opened by Ptival over 3 years ago
#4 - version 0.2.0.0, using What4 for building expressions
Pull Request -
State: closed - Opened by Ptival over 4 years ago
- 2 comments
#3 - finish implementing partial functions
Pull Request -
State: closed - Opened by Ptival over 4 years ago
- 1 comment
#2 - Added sqComment field to SallyQuery objects to allow query identifica…
Pull Request -
State: closed - Opened by kquick over 7 years ago
#1 - Add source-repository stanza
Pull Request -
State: closed - Opened by RyanGlScott over 7 years ago
- 1 comment