llvm      : 3238:217640
bugle     : 587c5c9cfdf1ab31eebfbfec38e7c7754a344c29
libclc    : 147756:225040
gpuverify : 30b3fdc024738c78ae9077dd0412720284e5715c
cvc4      : fe9b2276fac81030eb9803d4327f7458bae2576e
