{"push_id":1957576471,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"b00b360d27fb4038b812bf8150e7c519e1a05e54","before":"6bcbeb5864d12ae7a7ce884b63fd49c6c477c2ef","commits":[{"sha":"66dbececb0bcde7bd7daf213b6e71f9f1efdfaab","author":{"name":"Andrew Dutcher","email":"af98c23c46cd7455d5fad04954e1ccfec6b571ab@gmail.com"},"message":"Polish documentation of ASTs","distinct":true,"url":"https://api.github.com/repos/palkeo/claripy/commits/66dbececb0bcde7bd7daf213b6e71f9f1efdfaab"},{"sha":"52380e63bbbdac50c79fd3d24281d61fb45738df","author":{"name":"Andrew Dutcher","email":"af98c23c46cd7455d5fad04954e1ccfec6b571ab@gmail.com"},"message":"Change the value-preserving fp/bv conversions to be named consistently, collapse signed/unsigned into a parameter, change the pattern-preserving fp/bv conversions to be named consistently, remove simuvex from CI","distinct":true,"url":"https://api.github.com/repos/palkeo/claripy/commits/52380e63bbbdac50c79fd3d24281d61fb45738df"},{"sha":"088a9ec49ed062d532bb60456c51071b42498f20","author":{"name":"Andrew Dutcher","email":"af98c23c46cd7455d5fad04954e1ccfec6b571ab@gmail.com"},"message":"Concat simplifier: remove zero-length arguments","distinct":true,"url":"https://api.github.com/repos/palkeo/claripy/commits/088a9ec49ed062d532bb60456c51071b42498f20"},{"sha":"b00b360d27fb4038b812bf8150e7c519e1a05e54","author":{"name":"palkeo","email":"1927999686014308dead34c1cfcb9d8bd5271589@palkeo.com"},"message":"Merge branch 'master' of https://github.com/angr/claripy","distinct":true,"url":"https://api.github.com/repos/palkeo/claripy/commits/b00b360d27fb4038b812bf8150e7c519e1a05e54"}]}
{"actor":{"display_login":"palkeo"}}