{"push_id":552908741,"size":1,"distinct_size":1,"ref":"refs/heads/sepcomp","head":"29ba8508757279bb2bfadf8c0a8977f06e8a4220","before":"ee0b8ce2f418a5c8bdb2ab0ced0056386b6c89de","commits":[{"sha":"29ba8508757279bb2bfadf8c0a8977f06e8a4220","author":{"email":"6ff2ac31991ee002707266c80ea2ae04717ab0d5@sf.snu.ac.kr","name":"Jeehoon Kang"},"message":"Remove unnecessary lemmas.","distinct":true,"url":"https://api.github.com/repos/snu-sf/CompCert/commits/29ba8508757279bb2bfadf8c0a8977f06e8a4220"}]}