{"push_id":1376733025,"size":3,"distinct_size":3,"ref":"refs/heads/controlflow","head":"0e86dfcf7699178f3c46807d8df62475eb708fdb","before":"d5441d9e9ac08397dd0694cea1c3fad7802efc8e","commits":[{"sha":"55e9065b25347d3f55865509c727aba766c3a9bf","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to wrong offset, missing declarations","distinct":true,"url":"https://api.github.com/repos/leostrakosch/sv-benchmarks/commits/55e9065b25347d3f55865509c727aba766c3a9bf"},{"sha":"69ca47991f0e91b5b283b65d06c1ad8d12f837bb","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to uninitialized arrays","distinct":true,"url":"https://api.github.com/repos/leostrakosch/sv-benchmarks/commits/69ca47991f0e91b5b283b65d06c1ad8d12f837bb"},{"sha":"0e86dfcf7699178f3c46807d8df62475eb708fdb","author":{"name":"leostrakosch","email":"fbe8e013849402e66441e6879e7d9958868c64eb@gmail.com"},"message":"Fix undefinedness in ControlFlow due to uninitialized variables","distinct":true,"url":"https://api.github.com/repos/leostrakosch/sv-benchmarks/commits/0e86dfcf7699178f3c46807d8df62475eb708fdb"}]}
{"actor":{"display_login":"leostrakosch"}}