{"push_id":720421768,"size":2,"distinct_size":2,"ref":"refs/heads/sepcomp2","head":"ca7e381a434d9e4dfbe958013935715e340d80e8","before":"486169645a7363b8fda80124d7ed0d4229039665","commits":[{"sha":"4cd9fdf1fd801f018d5e118f427e20ce2edc28ac","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"Yoonseung Kim"},"message":"Delete paconotation and finish selectionproof.","distinct":true,"url":"https://api.github.com/repos/snu-sf/CompCert/commits/4cd9fdf1fd801f018d5e118f427e20ce2edc28ac"},{"sha":"ca7e381a434d9e4dfbe958013935715e340d80e8","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"kim-yoonseung"},"message":"Merge pull request #19 from kim-yoonseung/sepcomp2\n\nDelete paconotation and finish selectionproof.","distinct":true,"url":"https://api.github.com/repos/snu-sf/CompCert/commits/ca7e381a434d9e4dfbe958013935715e340d80e8"}]}