{"push_id":786832369,"size":2,"distinct_size":1,"ref":"refs/heads/vmcai16","head":"fc8542c2ed23c905e13f13413eaee2e762005824","before":"ca8dcc848d110e25b58ebabdd23bc68dc8d80f35","commits":[{"sha":"d5a3cb256fc10955264eb0934ee5cb9656981c51","author":{"email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com","name":"jorge"},"message":"[NEW] support in the Cfg for bitwise operations","distinct":false,"url":"https://api.github.com/repos/seahorn/crab/commits/d5a3cb256fc10955264eb0934ee5cb9656981c51"},{"sha":"fc8542c2ed23c905e13f13413eaee2e762005824","author":{"email":"804892e9999c9457658329e1be9338a38640b86f@gmail.com","name":"jorge"},"message":"Synchronized with master","distinct":true,"url":"https://api.github.com/repos/seahorn/crab/commits/fc8542c2ed23c905e13f13413eaee2e762005824"}]}