{"push_id":2632478309,"size":1,"distinct_size":1,"ref":"refs/heads/sygusComp2018-2","head":"e68f8b049b3a62e30478097ef08b054163919160","before":"cf1838478e70fa151f5d249b14b83071f1ac6682","commits":[{"sha":"e68f8b049b3a62e30478097ef08b054163919160","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Minor fix for computing look-ahead conditionals in PBE i/o.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/e68f8b049b3a62e30478097ef08b054163919160"}]}
{"actor":{"display_login":"ajreynol"}}