{"push_id":757870868,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ad6f0fb8aad4536161621c2a4a52b10714688745","before":"f54a3b13ca523dab45483e4d652a305102389873","commits":[{"sha":"b6fa8d9473f9ecb9f83fd5787ccd991dfdf21022","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Bufixes, and pass in info argument.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/b6fa8d9473f9ecb9f83fd5787ccd991dfdf21022"},{"sha":"ad6f0fb8aad4536161621c2a4a52b10714688745","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Solving fin constraints direclty.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/ad6f0fb8aad4536161621c2a4a52b10714688745"}]}