halvm.org seems to be down (http://isitup.org/halvm.org http://isitup.org/halvm.org). However, there is a summary here[1] and the source is on GitHub[2]. [1]:

halvm.org seems to be down (http://isitup.org/halvm.org http://isitup.org/halvm.org). However, there is a summary here[1] and the source is on GitHub[2]. [1]: http://corp.galois.com/halvm/ http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM