{"push_id":1048284058,"size":1,"distinct_size":1,"ref":"refs/heads/wmm","head":"ee66f937eefa038455aa2e919a7cda61b37cb7cc","before":"dbd582bd6c05aa80bffde7ef1a7033a5051d8c06","commits":[{"sha":"ee66f937eefa038455aa2e919a7cda61b37cb7cc","author":{"email":"6cde400b3071fe02c0b6a87fad1e32431702b43d@gmail.com","name":"ShikharDPandya"},"message":"maxsat in barrier_synthesis","distinct":true,"url":"https://api.github.com/repos/thorstent/TARA/commits/ee66f937eefa038455aa2e919a7cda61b37cb7cc"}]}