{"push_id":768611465,"size":88,"distinct_size":88,"ref":"refs/heads/master","head":"3715d082bb244aa18d09a02070cac5141749a89b","before":"1595fc7a62b0623c6fc91f47678d88ed20a28df8","commits":[{"sha":"17cb65452588419f1c8dfb2e5d7558b50ae404da","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"newtype Doc to avoid exporting the Monoid instance","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/17cb65452588419f1c8dfb2e5d7558b50ae404da"},{"sha":"776a8601b78d5a37a65630d745cbf514a5b9d6bd","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix a comment","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/776a8601b78d5a37a65630d745cbf514a5b9d6bd"},{"sha":"9fabdeafcd4b005eb0bd574cd3a0198eac2f596c","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Classify types that have literals","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/9fabdeafcd4b005eb0bd574cd3a0198eac2f596c"},{"sha":"bf56d6ee4cee1510854f7b7c20ba690b2a173f3a","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Remove Doc from IsType\n\n  IsType has a different member, getType, which produces a value of the\nLLVMType type.  New types that create instances of IsType should use the\nunderlying primitive instances when producing their instances.","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/bf56d6ee4cee1510854f7b7c20ba690b2a173f3a"},{"sha":"865da3827f615fe8155a04a402b9dfa7822eeede","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Reorganize, and give an export list to Text.LLVM","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/865da3827f615fe8155a04a402b9dfa7822eeede"},{"sha":"c79a861aa11de7c2f7f677169c06d925cd26b5bd","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add a license, Setup.hs, .gitignore and cabal file","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/c79a861aa11de7c2f7f677169c06d925cd26b5bd"},{"sha":"f974d4ddb878e7812faa6d3c5fc77bdd551e86bf","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Relax the requirements on getelementptr\n\n  Now, it is possible to get the address of a specific void * in a void *\narray.","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/f974d4ddb878e7812faa6d3c5fc77bdd551e86bf"},{"sha":"5049a454c87cdf051b95b9d5eb0ed52910f541c5","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add cmp operators","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/5049a454c87cdf051b95b9d5eb0ed52910f541c5"},{"sha":"5217015bdc5a3b49937815d43c53cdc1c5c33d12","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix fcmp to floating values","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/5217015bdc5a3b49937815d43c53cdc1c5c33d12"},{"sha":"af815eead8be9e1b6209c29513ab68677938a99d","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix type error\n\n  Float and Double were lacking HasValues and HasLiterals instances","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/af815eead8be9e1b6209c29513ab68677938a99d"},{"sha":"843dfa69354954a80b1adec0cbc5a6f35ffb3933","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add the unreachable instruction\n\n  This should probably be reconsidered...","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/843dfa69354954a80b1adec0cbc5a6f35ffb3933"},{"sha":"73d9c77ee7cbc6caac68f2f9fb63ae1722715c02","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Reconsidered unreachable","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/73d9c77ee7cbc6caac68f2f9fb63ae1722715c02"},{"sha":"24cc8df674604f79b496088c42703af649ee8e12","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add defineLabel_ for defining labels that don't have a meaningful last value","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/24cc8df674604f79b496088c42703af649ee8e12"},{"sha":"f28faa4825245f6e8788f724715f7e93c440b135","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix defineLabel_","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/f28faa4825245f6e8788f724715f7e93c440b135"},{"sha":"a2401107b69d9824cd3abd8068207252bb8bf075","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add funAddr, to get the address of a declared function","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/a2401107b69d9824cd3abd8068207252bb8bf075"},{"sha":"a958643d1cb210bf31756b5d212b3618b4a5e544","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Fix a typo in the icmp op translation","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/a958643d1cb210bf31756b5d212b3618b4a5e544"},{"sha":"c75fece552dd50c108b09a689a9aebead7d1b950","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add some numeric and bitwise functions.","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/c75fece552dd50c108b09a689a9aebead7d1b950"},{"sha":"bf6ddd54e9172a1226dd35bc1859b00d52c58055","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Create a function attributes structure\n\n * Add a GC attribute for dealing with garbage collector specification","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/bf6ddd54e9172a1226dd35bc1859b00d52c58055"},{"sha":"4e2909139059f55d33a802e7b4c0f5bd59850887","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Export FunSpec setters","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/4e2909139059f55d33a802e7b4c0f5bd59850887"},{"sha":"956951ef7ecd10520881c86f2356f11df7dd889e","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Add calling conventions\n\n  * Maybe shorten the name to CC.","distinct":true,"url":"https://api.github.com/repos/yav/llvm-pretty/commits/956951ef7ecd10520881c86f2356f11df7dd889e"}]}