{"push_id":2683784634,"size":1,"distinct_size":1,"ref":"refs/heads/return_symbolic_value","head":"7a11ebe891a382b4081a324d159044d376ca20d8","before":"9a8fa02094916d4b65fdf1cbc4e18e4c45db45b4","commits":[{"sha":"7a11ebe891a382b4081a324d159044d376ca20d8","author":{"name":"Alex Tough","email":"3688063c9963b433f39ae4753351ca46ec6a1b7f@AlexToughLaptop.local"},"message":"Parses function signature for ints correctly into SMTLIB.","distinct":true,"url":"https://api.github.com/repos/alextoughg/klee/commits/7a11ebe891a382b4081a324d159044d376ca20d8"}]}
{"actor":{"display_login":"alextoughg"}}