{"push_id":1061949077,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bb7a7e11b15a52f0121771fbab3c2bbd2ea3553d","before":"b418557e014c2169bfc469409e0318846f0fa582","commits":[{"sha":"0943ee32ee4e40de342a2eec044faf1946870173","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"Liyi Li"},"message":"fixing the problem of defining getelementptr.","distinct":true,"url":"https://api.github.com/repos/liyili2/llvm-semantics-1/commits/0943ee32ee4e40de342a2eec044faf1946870173"},{"sha":"bb7a7e11b15a52f0121771fbab3c2bbd2ea3553d","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"Liyi Li"},"message":"Merge pull request #48 from kframework/master\n\nfixing the problem of defining getelementptr.","distinct":true,"url":"https://api.github.com/repos/liyili2/llvm-semantics-1/commits/bb7a7e11b15a52f0121771fbab3c2bbd2ea3553d"}]}