{"push_id":887892119,"size":1,"distinct_size":1,"ref":"refs/heads/refactor-ops","head":"4edefbea7021a11c55870e7297a16fadd136e20f","before":"1e750771f536d44cd375d1ae6a78de8d1d3925c8","commits":[{"sha":"4edefbea7021a11c55870e7297a16fadd136e20f","author":{"email":"2925dc4a369bed4f983990f87bdef6875553515f@alum.mit.edu","name":"Emina Torlak"},"message":"Partial evaluation, Z3 translation, and unit tests for bvsmod.","distinct":true,"url":"https://api.github.com/repos/emina/rosette/commits/4edefbea7021a11c55870e7297a16fadd136e20f"}]}