GitHub PushEvent at 2014-12-22 21:39:15
Repository: gpuverify-docker
Actor: delcypher
Payload: {"shas":[["190337825dc638a60e7eacccf313d3fe6fe06ab6","f02deabc026083422c4080a2a3c0fa14358d5b51@imperial.ac.uk","Update GPUVerify components.","Dan Liew",true]],"size":1,"ref":"refs/heads/cvc4","head":"190337825dc638a60e7eacccf313d3fe6fe06ab6"}