{"push_id":711803661,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b479dad638b3a4cefe245170709f8ae2533e23ce","before":"561c409a2cd7caab64436d80c7081d53c5abc375","commits":[{"sha":"b479dad638b3a4cefe245170709f8ae2533e23ce","author":{"email":"e3206bb9e12e704f188a0b01ae63a4057a465706@gmail.com","name":"Jason Bogle"},"message":"added 3 \"getPredicates\" methods to trans.Formula class","distinct":true,"url":"https://api.github.com/repos/kicker10BOG/LTL2Buchi/commits/b479dad638b3a4cefe245170709f8ae2533e23ce"}]}