{"push_id":981945124,"size":1,"distinct_size":1,"ref":"refs/heads/certificates","head":"3a57e7b2276a5f8869aa57bdc7a8b4c1042e6898","before":"dbb8c86645acc649e33da47c6db819ca77af1ee0","commits":[{"sha":"3a57e7b2276a5f8869aa57bdc7a8b4c1042e6898","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"Alain Mebsout"},"message":"Use user specified version of CVC4.\nBug fix for stack overflow when going over proof.","distinct":true,"url":"https://api.github.com/repos/mebsout/kind2/commits/3a57e7b2276a5f8869aa57bdc7a8b4c1042e6898"}]}