{"push_id":1043032875,"size":1,"distinct_size":1,"ref":"refs/heads/issue39-debug","head":"48f6a52ac37cb7d4fdfe633088ef2f95b4a8d6f1","before":"16707bba4b5d9e2a557911470b45e1105db61723","commits":[{"sha":"48f6a52ac37cb7d4fdfe633088ef2f95b4a8d6f1","author":{"email":"0fdf7c96a4e7daa4ca2228bd9ebfb57713a872a8@nus.edu.sg","name":"Andrew Santosa"},"message":"Added Depedency::updateIncomingBlock to handle PHI nodes","distinct":true,"url":"https://api.github.com/repos/domainexpert/klee/commits/48f6a52ac37cb7d4fdfe633088ef2f95b4a8d6f1"}]}