Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/halvm-ghc issues and pull requests
#10 - Optionally emulate /dev/urandom CRNG for transparent entropy on cryptonite
Pull Request -
State: closed - Opened by protoben almost 7 years ago
- 1 comment
#9 - Update minlibc submodule commit
Pull Request -
State: closed - Opened by dmjio over 7 years ago
#8 - Turn libraries/integer-gmp/gmp/tarball into a submodule
Pull Request -
State: closed - Opened by dmjio over 7 years ago
#7 - Merge upstream 8.0.2 release tag into halvm branch
Pull Request -
State: closed - Opened by dmjio over 7 years ago
- 3 comments
#6 - Update minlibc submodule
Pull Request -
State: closed - Opened by izgzhen almost 8 years ago
#5 - Patches to GHC 8.0.1 for HaLVM based on the previous GHC 7 adaption
Pull Request -
State: closed - Opened by izgzhen almost 8 years ago
- 4 comments
#4 - Check for pending schedules after setting the trigger event.
Pull Request -
State: closed - Opened by TomMD over 10 years ago
- 1 comment
#3 - Only block if when waiting for a non-elapsed time.
Pull Request -
State: closed - Opened by TomMD over 10 years ago
#2 - Add skeleton intrinsics (sse3, sse2, aes).
Pull Request -
State: closed - Opened by TomMD over 10 years ago
#1 - Intrinsics
Pull Request -
State: closed - Opened by TomMD over 10 years ago
- 3 comments