{"push_id":914059737,"size":1,"distinct_size":1,"ref":"refs/heads/check_argument_split","head":"513d2659b7e7053c08daa91f03e5597158d11639","before":"5231371e245c0f8e4e60887690303aedc2adbbb9","commits":[{"sha":"513d2659b7e7053c08daa91f03e5597158d11639","author":{"email":"ee8a1d1efb05d8171fc0140ced15d455e83941c5@google.com","name":"Tim King"},"message":"Moving TmpCheckArgument back to CheckArgument.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/513d2659b7e7053c08daa91f03e5597158d11639"}]}