Checkout the 7.8 branch on libraries that have it
Checkout the 7.8 branch on libraries that have it

thumphries/HaLVM,rowhit/HaLVM,GaloisInc/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,mwotton/HaLVM,rowhit/HaLVM,ggkitsas/HaLVM,ggkitsas/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,thumphries/HaLVM,rowhit/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,mwotton/HaLVM,elijah513/HaLVM