{"push_id":2103982757,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f149cd31f8d96a76b34668eb4cd593aa2b5bb7c8","before":"d1467e740c17fe500bd598375165c2018305e0b3","commits":[{"sha":"f149cd31f8d96a76b34668eb4cd593aa2b5bb7c8","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Unrecurisify rewrite solve assertion for cbqi bv (#1312)\n\n* Unrecursify rewrite assertion for cbqi bv.\r\n\r\n* Format","distinct":true,"url":"https://api.github.com/repos/HanielB/CVC4/commits/f149cd31f8d96a76b34668eb4cd593aa2b5bb7c8"}]}
{"actor":{"display_login":"HanielB"}}