{"push_id":1008291107,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ac4d30e258491f60d649739abc1543e9954810bd","before":"602875c43eb178b1a4b38ac6aa031f6927c57f34","commits":[{"sha":"ac4d30e258491f60d649739abc1543e9954810bd","author":{"email":"c9c906d5a5fa5994f337437e52ea319348ca5e9a@gmail.com","name":"Ligia Nistor"},"message":"work on composite.bpl - I took out an unnecessary precondition of updateCount()","distinct":true,"url":"https://api.github.com/repos/ligianistor/boogie/commits/ac4d30e258491f60d649739abc1543e9954810bd"}]}