{"push_id":895535219,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"f35b58ec953209cf03c9ba567e42dc704ddc6a63","before":"b5cc7ab834005aa7c2acc87b0704508b098bc9d3","commits":[{"sha":"1b0e6c966b52046d2e6ef80b0b3ee68c1b3da422","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Evaluate type when extending term to IValue size","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/1b0e6c966b52046d2e6ef80b0b3ee68c1b3da422"},{"sha":"eee0810eb49aaf80fc76188e5e786acb91cd56e2","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Remove dead code","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/eee0810eb49aaf80fc76188e5e786acb91cd56e2"},{"sha":"42a3c05c3e029ae32770a06ab2232c07566d1878","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Simplify obsolete uses of SharedTerm API\n\n* No more explicit rewriting to simplify types.\n* Use auto-generated SAWCore Prelude exports.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/42a3c05c3e029ae32770a06ab2232c07566d1878"},{"sha":"68410ac29fcf4d3459e1c6c05db3c6ce5474dc7b","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Make Haddock comments syntactically correct","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/68410ac29fcf4d3459e1c6c05db3c6ce5474dc7b"},{"sha":"f35b58ec953209cf03c9ba567e42dc704ddc6a63","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Build with Haddock documentation\n\nThis is enabled to ensure that our Haddock comments remain syntactically\ncorrect, and to encourage us to maintain and use the generated\ndocumentation.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-script/commits/f35b58ec953209cf03c9ba567e42dc704ddc6a63"}]}