{"push_id":888589273,"size":2,"distinct_size":2,"ref":"refs/heads/felicia","head":"4c0124faa0382a0a68e7756a47bb034b39f1ac25","before":"9a317356dfea991657e52c350464ab34c99eae36","commits":[{"sha":"7a3732ce3d1511b4f1c13365573eb208d76dcb87","author":{"email":"0fdf7c96a4e7daa4ca2228bd9ebfb57713a872a8@nus.edu.sg","name":"Andrew Santosa"},"message":"Added instruction tracing","distinct":true,"url":"https://api.github.com/repos/domainexpert/klee/commits/7a3732ce3d1511b4f1c13365573eb208d76dcb87"},{"sha":"4c0124faa0382a0a68e7756a47bb034b39f1ac25","author":{"email":"0fdf7c96a4e7daa4ca2228bd9ebfb57713a872a8@nus.edu.sg","name":"Andrew Santosa"},"message":"Removed ITree::addCondition and ITree::addConditionToCurrentNode methods and ITreeNode::conditions field","distinct":true,"url":"https://api.github.com/repos/domainexpert/klee/commits/4c0124faa0382a0a68e7756a47bb034b39f1ac25"}]}