{"push_id":846127484,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"6b0078a37bc8970966cfd459ec10fc0231146104","before":"d406c5cebb04267bea53905f92f0fb3c9d6da51d","commits":[{"sha":"e6ec599d1e3d81888e58af31039a8fbe6013100e","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Performing allocation needed to avoid writes to unallocated memory\n\nSuch writes are undefined behavior. This is an attempt to fix\nit.","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/e6ec599d1e3d81888e58af31039a8fbe6013100e"},{"sha":"730862e5bf64745bb4056d158ce82b1ddc41dfc1","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Initializing a local variable to nondet\n\nOtherwise, we have undefined behavior since that variable\nis read later on.","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/730862e5bf64745bb4056d158ce82b1ddc41dfc1"},{"sha":"71a80cde3102316b422659512527a652c8cd22d1","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed undefined behaviors by initializing local variables","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/71a80cde3102316b422659512527a652c8cd22d1"},{"sha":"cc89a4dcba3c638bb8af80053e10f234e413a79c","author":{"email":"31b048e0156e91eb92e271f8ef2c522aae445430@gmail.com","name":"Jonathan Whitaker"},"message":"Fixes benchmarks containing uninitialized memory.\n\nThis commit fixes some benchmarks that were referencing\nunitialized memory. According to the C specification,\nreferences to uninitialized memory result in undefined\nbehavior. I added the appropriate memory initializations.","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/cc89a4dcba3c638bb8af80053e10f234e413a79c"},{"sha":"a09196ab874da54c2040196c0b736478d36e9151","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Fixed a write to unallocated memory location\n\nThe location is now being allocated, which prevents undefined\nbehavior.","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/a09196ab874da54c2040196c0b736478d36e9151"},{"sha":"6b0078a37bc8970966cfd459ec10fc0231146104","author":{"email":"f75c399cc90244e26e6319132b16756799e7d78b@cs.utah.edu","name":"Zvonimir"},"message":"Merge branch 'master' of github.com:smackers/sv-benchmarks","distinct":true,"url":"https://api.github.com/repos/smackers/sv-benchmarks/commits/6b0078a37bc8970966cfd459ec10fc0231146104"}]}