{"push_id":2387575193,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"a4b133799fd4eec39e587db5e3c9c13f0164edb8","before":"f02dc9518854347a64ec167ffa25bbb7a1175f5e","commits":[{"sha":"51cdf9a0a3f89d3c2955a8f16f54d0094cf1a46b","author":{"name":"Siddharth Bhat","email":"8c13250c5b91fe662ab1b373b28dd329569f30e6@gmail.com"},"message":"prove transitity of mem_structure_eq","distinct":true,"url":"https://api.github.com/repos/bollu/CompCert/commits/51cdf9a0a3f89d3c2955a8f16f54d0094cf1a46b"},{"sha":"5548926a5bd630270fa288551c2971d033da539e","author":{"name":"Siddharth Bhat","email":"8c13250c5b91fe662ab1b373b28dd329569f30e6@gmail.com"},"message":"[WIP] lost a bunch of work due to emacs :/ this sucks","distinct":true,"url":"https://api.github.com/repos/bollu/CompCert/commits/5548926a5bd630270fa288551c2971d033da539e"},{"sha":"a4b133799fd4eec39e587db5e3c9c13f0164edb8","author":{"name":"Siddharth Bhat","email":"8c13250c5b91fe662ab1b373b28dd329569f30e6@gmail.com"},"message":"[WIP] wrote code for value matching","distinct":true,"url":"https://api.github.com/repos/bollu/CompCert/commits/a4b133799fd4eec39e587db5e3c9c13f0164edb8"}]}
{"actor":{"display_login":"bollu"}}