{"push_id":572299791,"size":4,"distinct_size":4,"ref":"refs/heads/candidate-entries","head":"e6303726500b03448ade13625d2a79b363efe4c4","before":"119b14ced37756e62eeb1ca376a9b38b43bd33b2","commits":[{"sha":"d1790ce4e99f7956dcd77221f39810f479233253","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"update lemmas","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/d1790ce4e99f7956dcd77221f39810f479233253"},{"sha":"b3c0f38b62b410aaf6604a932272bbd3879d7921","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"wonElection_exists_voter","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/b3c0f38b62b410aaf6604a932272bbd3879d7921"},{"sha":"4d625514b512eff44103b6ad18880b6b08c7eee2","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"new invariant: CroniesTerm","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/4d625514b512eff44103b6ad18880b6b08c7eee2"},{"sha":"e6303726500b03448ade13625d2a79b363efe4c4","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"prove CandidateEntries/timeout/host_invariant case","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/e6303726500b03448ade13625d2a79b363efe4c4"}]}