Ecosyste.ms: Issues

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

GitHub / palmskog/coq-primitive issues and pull requests

#5 - add test from coq-malfunction

Pull Request - State: closed - Opened by palmskog over 1 year ago

#4 - Restore 32-bit int_size support

Pull Request - State: closed - Opened by palmskog over 1 year ago

#3 - rename package to coq-primitive

Pull Request - State: closed - Opened by palmskog over 1 year ago

#2 - Add float64 and friends, including C code

Pull Request - State: closed - Opened by palmskog over 1 year ago - 5 comments

#1 - Dependency on `coq_uint63_to_float`

Issue - State: closed - Opened by yforster over 1 year ago - 4 comments