Ecosyste.ms: Issues

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

GitHub / emina/rosette issues and pull requests

#160 - Generalize bv extract / concat rewrite

Pull Request - State: closed - Opened by anishathalye over 4 years ago - 1 comment

#159 - Use custom-load so that users don't need to remove compiled dir

Pull Request - State: closed - Opened by sorawee almost 5 years ago - 1 comment

#155 - Compilation time of (and ...) form is quadratic in the number of forms

Issue - State: closed - Opened by anishathalye almost 5 years ago - 1 comment

#149 - Add logical xor operation

Pull Request - State: closed - Opened by whitequark almost 5 years ago - 8 comments

#116 - contract violation when passing symbolic value as second argument of `expt`

Issue - State: closed - Opened by epeguero about 6 years ago - 2 comments