{"push_id":2305860360,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"482f324bf315324edb4b05e1d577de708cbc36e3","before":"0069011720c6e0c87db53ac3fa0165ddcbdb4dd2","commits":[{"sha":"1bfd35f7bb0af4118b8603ef0f532c63b7773cda","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Added multi-ktest option","distinct":true,"url":"https://api.github.com/repos/fp-analysis/klee/commits/1bfd35f7bb0af4118b8603ef0f532c63b7773cda"},{"sha":"710318b5bb81774e1b229da47becbb2fee2be253","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Implementations of Interpreter::getMultipleSymbolicSolutions() and Executor::getMultipleSymbolicSolutions()","distinct":true,"url":"https://api.github.com/repos/fp-analysis/klee/commits/710318b5bb81774e1b229da47becbb2fee2be253"},{"sha":"482f324bf315324edb4b05e1d577de708cbc36e3","author":{"name":"Himeshi","email":"3693c77947813f54d8bf45d1f51c9e4de86aeb5e@gmail.com"},"message":"Merge pull request #74 from domainexpert/multi-ktest\n\nGenerate multiple ktest files for a path condition","distinct":true,"url":"https://api.github.com/repos/fp-analysis/klee/commits/482f324bf315324edb4b05e1d577de708cbc36e3"}]}
{"actor":{"display_login":"Himeshi"}}