llvm           : 3238:247539
bugle          : 5f008e2ba22982853e30336c2ab13312c6c22924
libclc         : 147756:248163
vcgen          : 77bd0248c187bb6efcca90ac0a4dce64304c974e
z3             : a7a0deed3fe4e83eebd10e9ce86dc19bfff97661
cvc4           : Error [d:\gpuverify\CVC4\src] path is not recognised as a git, mercurial or svn repository
local-revision : 1789
Deployed on Fri Sep 25 18:49:52 2015 (UTC)