{"push_id":2496731774,"size":4,"distinct_size":1,"ref":"refs/heads/statica-symbolic-memory","head":"934ba2534551218b9c62a34eb348b448c0399dad","before":"81a0d7e1fbced84aa5c04b77677270f698785335","commits":[{"sha":"2838c3f9d5dbb3f191b4688d80d7ed98a7ef16e8","author":{"name":"Michael Simacek","email":"bb00374592417e6dd798bcd6018940f4a44e8fb0@redhat.com"},"message":"Revert \"Treat uninitialized values consistently\"\n\nThis reverts commit 26078cef0b736f64c0c0c2276b8d17c7459aaed6.","distinct":false,"url":"https://api.github.com/repos/msimacek/klee/commits/2838c3f9d5dbb3f191b4688d80d7ed98a7ef16e8"},{"sha":"b33180ca85fae129aeaef2dc1cd4c4e9a594d284","author":{"name":"Michael Simacek","email":"bb00374592417e6dd798bcd6018940f4a44e8fb0@redhat.com"},"message":"Keep symbolic-size arrays uninitialized","distinct":false,"url":"https://api.github.com/repos/msimacek/klee/commits/b33180ca85fae129aeaef2dc1cd4c4e9a594d284"},{"sha":"645102242226a8a4fbdada88418f46e0b0c79732","author":{"name":"Michael Simacek","email":"bb00374592417e6dd798bcd6018940f4a44e8fb0@redhat.com"},"message":"Capture reads during construction in Z3","distinct":false,"url":"https://api.github.com/repos/msimacek/klee/commits/645102242226a8a4fbdada88418f46e0b0c79732"},{"sha":"934ba2534551218b9c62a34eb348b448c0399dad","author":{"name":"Michael Simacek","email":"bb00374592417e6dd798bcd6018940f4a44e8fb0@redhat.com"},"message":"Merge branch 'symbolic-memory' into statica-symbolic-memory","distinct":true,"url":"https://api.github.com/repos/msimacek/klee/commits/934ba2534551218b9c62a34eb348b448c0399dad"}]}
{"actor":{"display_login":"msimacek"}}