Closed dmjio closed 7 years ago
Since the wip-halvm-ghc-8.0 was merged in https://github.com/GaloisInc/halvm-ghc/commit/b17b3f2d616ced1c101ce4bcba635b5d19dab89d, think it's appropriate to point to halvm cc @acw @izgzhen
wip-halvm-ghc-8.0
halvm
Since the
wip-halvm-ghc-8.0was merged in https://github.com/GaloisInc/halvm-ghc/commit/b17b3f2d616ced1c101ce4bcba635b5d19dab89d, think it's appropriate to point tohalvmcc @acw @izgzhen