{"push_id":593195385,"size":3,"distinct_size":3,"ref":"refs/heads/wip/cs","head":"7be9914cb8e2768d05239089c0a3cfd90180f28b","before":"063fe14014b02cfcf2106fbf147176a18a6292f6","commits":[{"sha":"2f366b29adb189e3a0b2dcd5cfb87da75f1333d7","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Add some position when basic goals got solved, but we still have extra props.\n\nWe should either think of a better location or, perhpas, not emit\nthe extra props?","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/2f366b29adb189e3a0b2dcd5cfb87da75f1333d7"},{"sha":"1cbd34b8c89f758c39527562c9d302fa6ca7b99e","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Fix a sign error","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/1cbd34b8c89f758c39527562c9d302fa6ca7b99e"},{"sha":"7be9914cb8e2768d05239089c0a3cfd90180f28b","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Merge branch 'wip/cs' of github.com:GaloisInc/cryptol into wip/cs","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/7be9914cb8e2768d05239089c0a3cfd90180f28b"}]}