{"push_id":671991701,"size":1,"distinct_size":1,"ref":"refs/heads/sepcomp","head":"0b6c1874002bad9291c938b024bfd44595a617c5","before":"6e9b633d40878c2754da237be9250e872dbfee8f","commits":[{"sha":"0b6c1874002bad9291c938b024bfd44595a617c5","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"Yoonseung Kim"},"message":"Add lemmas in SepcompRel.v.","distinct":true,"url":"https://api.github.com/repos/kim-yoonseung/CompCert/commits/0b6c1874002bad9291c938b024bfd44595a617c5"}]}