HaLVM
HaLVM copied to clipboard
GaloisInc
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
The link provided in [*Using Pre Built Binaries*](https://github.com/GaloisInc/HaLVM/wiki/Using-Pre-Built-Binaries) for obtaining binary packages is down. Would it be possible to bring it back up or upload the existing RPMs somewhere else...
On the [useful links](https://github.com/GaloisInc/HaLVM/wiki/Useful-Links) wiki page, the link to **[A complete fedora virtual box image with compiled development environment](https://goo.gl/jHuKqM)** is broken.
By calling back into GHC for a bunch of critical POSIX functions, we break the "unsafe" assumption in the base library. So HaLVM GHCs will need to revoke those unsafe...
From Alex: Hi Adam, The `alex-3.1.7` package from hvr's PPA doesn't seem to include a `lib/` directory, causing `make install` to fail (see attached). `sudo mkdir /opt/alex/3.1.7/lib` fixes the problem....
It would probably be best to clean out some of the utilities that were left over from the post-`HaLVM` platform changes when upgrading to GHC `8.x`. This way `HaLVM` will...
As tried during the workshop at strangeloop: - `math.h` is missing `ceil`. - `complex.h` is not present. ``` $ halvm-cabal install hmatrix src/C/lapack-aux.c: In function ‘svd_l_R’: src/C/lapack-aux.c:149:13: warning: implicit declaration...
Please don't try to do this from first principles. Instead, let's figure out what core `musl` upcalls we can't write in a generic manner, and use those as the requirements....
POSIX is deeply annoying for any number of reasons; one of them is that it mixes up "file descriptors" between files and network sockets, because blah blah blah. What this...