{"push_id":1339833832,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"aa8a677235bb514fbb49018d5d1ac358b8a500aa","before":"77f47d6f50320a89678ea2281c4b85251ec120be","commits":[{"sha":"5dbef628e963b60722e74f6518c0bd82edb05aee","author":{"name":"Andrew Santosa","email":"30aa6ddd8daedd2f0998b2b8878b89123f3133ce@nus.edu.sg"},"message":"Fixed compilation failures for compilation without Z3 support","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee/commits/5dbef628e963b60722e74f6518c0bd82edb05aee"},{"sha":"aa8a677235bb514fbb49018d5d1ac358b8a500aa","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Merge pull request #150 from domainexpert/executorfix\n\nFixed compilation failures for compilation without Z3 support","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee/commits/aa8a677235bb514fbb49018d5d1ac358b8a500aa"}]}
{"actor":{"display_login":"domainexpert"}}