{"push_id":841590478,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"deef37064f673be0391a7224ed8551b1e68be829","before":"a6b78b0ea28c22744fa846d7729b5c50247f9987","commits":[{"sha":"deef37064f673be0391a7224ed8551b1e68be829","author":{"email":"b49142f4a3a7e91afc4d3c926cad8d9f58e6b437@microsoft.com","name":"Shuvendu Lahiri"},"message":"Bug fix for deterministExtractLoops for Shaobo's example","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/deef37064f673be0391a7224ed8551b1e68be829"}]}