{"push_id":574634532,"size":1,"distinct_size":1,"ref":"refs/heads/inst-synthesis","head":"a3505fb92d59f208ec6bceed22af571e527b59d5","before":"f3ebe9b9a7ad181c708160d0a3cc8a2a783e9081","commits":[{"sha":"a3505fb92d59f208ec6bceed22af571e527b59d5","author":{"email":"e13659cc977c96db42b46321758176c696d21092@cs.utah.edu","name":"Raimondas Sasnauskas"},"message":"Documentation update","distinct":true,"url":"https://api.github.com/repos/rsas/souper/commits/a3505fb92d59f208ec6bceed22af571e527b59d5"}]}