{"push_id":1425115448,"size":3,"distinct_size":3,"ref":"refs/heads/interval","head":"41cb751d30e578cde5ce825f62d7711728123560","before":"806bd7fc77ae796abcd2fe522f24e1ad93d83694","commits":[{"sha":"a36b5aa321c360dd02a616c60d30c4dbf8352107","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Debug Val.plus and minus","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/a36b5aa321c360dd02a616c60d30c4dbf8352107"},{"sha":"b941ed2799f412e2e5a457a165bc35cced2a9750","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Rename itv_lift to lift_itv_func","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/b941ed2799f412e2e5a457a165bc35cced2a9750"},{"sha":"41cb751d30e578cde5ce825f62d7711728123560","author":{"name":"Sungkeun Cho","email":"a16945f9127b0d57e0e41f1d4c88b1317df86033@ropas.snu.ac.kr"},"message":"Merge branch 'interval' of https://github.com/ropas/infer into interval\n\nConflicts:\n\tinfer/src/checkers/bufferOverrunDomain.ml","distinct":true,"url":"https://api.github.com/repos/ropas/infer/commits/41cb751d30e578cde5ce825f62d7711728123560"}]}
{"actor":{"display_login":"skcho"}}