{"push_id":577046041,"size":2,"distinct_size":2,"ref":"refs/heads/inst-synthesis","head":"68a6053f0196bab8554dbf7832c2401bf6cf40aa","before":"a3505fb92d59f208ec6bceed22af571e527b59d5","commits":[{"sha":"21a32c9722a48f5fcaa6b972ba5d57a19f51861f","author":{"email":"e13659cc977c96db42b46321758176c696d21092@cs.utah.edu","name":"Raimondas Sasnauskas"},"message":"Yang's comments","distinct":true,"url":"https://api.github.com/repos/rsas/souper/commits/21a32c9722a48f5fcaa6b972ba5d57a19f51861f"},{"sha":"68a6053f0196bab8554dbf7832c2401bf6cf40aa","author":{"email":"e13659cc977c96db42b46321758176c696d21092@cs.utah.edu","name":"Raimondas Sasnauskas"},"message":"John's comments","distinct":true,"url":"https://api.github.com/repos/rsas/souper/commits/68a6053f0196bab8554dbf7832c2401bf6cf40aa"}]}