Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/saw-core-what4 issues and pull requests
#16 - Implement `intToNat`
Pull Request -
State: closed - Opened by robdockins over 4 years ago
#15 - `intToNat` operation unimplemented
Issue -
State: closed - Opened by robdockins over 4 years ago
#14 - Handle Array equality.
Pull Request -
State: closed - Opened by andreistefanescu over 4 years ago
#13 - Bv sized
Pull Request -
State: closed - Opened by robdockins over 4 years ago
#12 - Split arith
Pull Request -
State: closed - Opened by robdockins over 4 years ago
#11 - Add SMT Array primitives.
Pull Request -
State: closed - Opened by andreistefanescu over 4 years ago
- 1 comment
#10 - Increase bounds for parameterized-utils release 2.1.0.
Pull Request -
State: closed - Opened by kquick over 4 years ago
#8 - Fix for GHC 8.10
Pull Request -
State: closed - Opened by robdockins almost 5 years ago
#7 - Generalize the `w4Eval` and `w4Solve` functions
Pull Request -
State: closed - Opened by atomb almost 5 years ago
#6 - Fixes to build on GHC 8.8
Pull Request -
State: closed - Opened by robdockins about 5 years ago
#5 - Speed up creation of uninterpreted functions.
Pull Request -
State: closed - Opened by brianhuffman about 5 years ago
#4 - Update StringRepr uses
Pull Request -
State: closed - Opened by robdockins about 5 years ago
#3 - Bump upper limit for parameterized-utils; add Changelog.
Pull Request -
State: closed - Opened by kquick over 5 years ago
#2 - Refactor uninterpreted function features to avoid fragile index mangl…
Pull Request -
State: closed - Opened by brianhuffman over 5 years ago
- 1 comment
#1 - Support universal quantification over bitvectors
Pull Request -
State: closed - Opened by chameco over 5 years ago