{"push_id":2345093863,"size":3,"distinct_size":3,"ref":"refs/heads/symbolic-memory","head":"4815449a5923387d515b68e6e7d7f217551ad923","before":"ef96b6f2261706605eefc527986202b4ce85411f","commits":[{"sha":"939f56d36328946174661db5e88dd04412c9013a","author":{"name":"Michael Simacek","email":"1bc949cdd6632cb4dedc243f4f71b538eed4b0a0@redhat.com"},"message":"Add segment resolution to AddressSpace::resolve","distinct":true,"url":"https://api.github.com/repos/msimacek/klee/commits/939f56d36328946174661db5e88dd04412c9013a"},{"sha":"902134ca0e11054ec298cfbc6efb8f9c6f4e55d3","author":{"name":"Michael Simacek","email":"1bc949cdd6632cb4dedc243f4f71b538eed4b0a0@redhat.com"},"message":"Print segment in handlePrintExpr","distinct":true,"url":"https://api.github.com/repos/msimacek/klee/commits/902134ca0e11054ec298cfbc6efb8f9c6f4e55d3"},{"sha":"4815449a5923387d515b68e6e7d7f217551ad923","author":{"name":"Michael Simacek","email":"1bc949cdd6632cb4dedc243f4f71b538eed4b0a0@redhat.com"},"message":"Get segment from MO::getPointer","distinct":true,"url":"https://api.github.com/repos/msimacek/klee/commits/4815449a5923387d515b68e6e7d7f217551ad923"}]}
{"actor":{"display_login":"msimacek"}}