{"push_id":2893499266,"size":2,"distinct_size":2,"ref":"refs/heads/refactor/error-handling-solvers-smt2","head":"b0f5db1df47a4dc3c4a478e60db8c3673d0600e6","before":"244316cdfe7fcebed442e2721c7c94c858241397","commits":[{"sha":"472fb38030a5982e641aba6da2e0a2303b884bc6","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Error handling cleanup in solvers/smt2","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/472fb38030a5982e641aba6da2e0a2303b884bc6"},{"sha":"b0f5db1df47a4dc3c4a478e60db8c3673d0600e6","author":{"name":"Daniel Poetzl","email":"83a0450809b85ad3f9e05cffd48b00eba04857d3@diffblue.com"},"message":"Refactor usage of datatype_map in smt2_conv.cpp","distinct":true,"url":"https://api.github.com/repos/danpoe/cbmc/commits/b0f5db1df47a4dc3c4a478e60db8c3673d0600e6"}]}
{"actor":{"display_login":"danpoe"}}