{"push_id":816368990,"size":3,"distinct_size":3,"ref":"refs/heads/new_compcert","head":"b0b9d50640b3103c3c7fe2054bd043184b046b1e","before":"bc63bda19a2c8907fc1f1fbadede2620ac7eeaf1","commits":[{"sha":"61f056fd92dd7c6ab7571fc6287cc1e07184e6fd","author":{"email":"2cbe48de27626291d4789a0d88f861eebc2cb61c@princeton.edu","name":"Lennart Beringer"},"message":"corrected the invariant of loop3. All remaining admits concern forward_call","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/61f056fd92dd7c6ab7571fc6287cc1e07184e6fd"},{"sha":"1d8f6ca331f6d3f9374c24920875d61a98cdfd22","author":{"email":"2cbe48de27626291d4789a0d88f861eebc2cb61c@princeton.edu","name":"Lennart Beringer"},"message":"Merge branch 'new_compcert' of https://github.com/PrincetonUniversity/VST into new_compcert\nMerge during push of correction of loop3-invariant","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/1d8f6ca331f6d3f9374c24920875d61a98cdfd22"},{"sha":"b0b9d50640b3103c3c7fe2054bd043184b046b1e","author":{"email":"2cbe48de27626291d4789a0d88f861eebc2cb61c@princeton.edu","name":"Lennart Beringer"},"message":"Resolved merge-conflicts in verif_ld_st. Partial resolution of conflicts in fcore - proof currently broken due to today's changes in floyd","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/b0b9d50640b3103c3c7fe2054bd043184b046b1e"}]}