{"push_id":2576591839,"size":5,"distinct_size":0,"ref":"refs/heads/master","head":"33964e5d935f903b2850f6576f93ce229fb00918","before":"8f2bc3a7188d93edd9a131bfd2101c2ec5adab9e","commits":[{"sha":"8fe14b1041f39b61cdb43c32840f3d2cb97cc110","author":{"name":"Timotej Kapus","email":"a1dedfa6a947dcde8757e762f8bac35908aa802e@ic.ac.uk"},"message":"Improve error messages for ReadStringAtAddress","distinct":false,"url":"https://api.github.com/repos/danielschemmel/klee/commits/8fe14b1041f39b61cdb43c32840f3d2cb97cc110"},{"sha":"8bec949fc84d8fe8dacbf38ff123b404f1eb4737","author":{"name":"Timotej Kapus","email":"364222e964262c52e05c3983813edd9d9a1f1c72@imperial.ac.uk"},"message":"Add support for concretizing symbolic objects passed to external functions","distinct":false,"url":"https://api.github.com/repos/danielschemmel/klee/commits/8bec949fc84d8fe8dacbf38ff123b404f1eb4737"},{"sha":"89c7505012b7c03b603bd527c4fd5e340bfb35cf","author":{"name":"Cristian Cadar","email":"6cfa9a8bf1397984d2673ff89a7011ab1857a296@imperial.ac.uk"},"message":"Abort execution if --only-output-states-covering-new is enabled but its dependency --output-istats is not","distinct":false,"url":"https://api.github.com/repos/danielschemmel/klee/commits/89c7505012b7c03b603bd527c4fd5e340bfb35cf"},{"sha":"57ad4f26c68c53f96d14cd2ae047199e8d62c677","author":{"name":"Timotej Kapus","email":"89bb222d292065128e8caa06d4618bc1b7e9c97b@hotmail.com"},"message":"Delete coverageServer.py\n\nDelete the old coverage gathering code. Unneccessary with move to codecov.","distinct":false,"url":"https://api.github.com/repos/danielschemmel/klee/commits/57ad4f26c68c53f96d14cd2ae047199e8d62c677"},{"sha":"33964e5d935f903b2850f6576f93ce229fb00918","author":{"name":"Frank Busse","email":"4adde8e80894a2c2bead5d888601ba4692fb6309@gmail.com"},"message":"tests: use names in klee_make_symbolic","distinct":false,"url":"https://api.github.com/repos/danielschemmel/klee/commits/33964e5d935f903b2850f6576f93ce229fb00918"}]}
{"actor":{"display_login":"danielschemmel"}}