{"push_id":687304013,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"543fbd0cca495cbba62155ea43fbd2700a26aa59","before":"2d2856f4687bb5e3d149d33c03840d37813db413","commits":[{"sha":"3288b7b75a77eedd42d747a5809e7219228141df","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"add lastApplied <= commitIndex invariant","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/3288b7b75a77eedd42d747a5809e7219228141df"},{"sha":"014aa0128ba8672cf70dcea798fa9fcfefe49174","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"add post-state reachable invariant principle","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/014aa0128ba8672cf70dcea798fa9fcfefe49174"},{"sha":"543fbd0cca495cbba62155ea43fbd2700a26aa59","author":{"email":"38e90354392e3613f7d83a09ce3b5e63b86b473a@gmail.com","name":"James Wilcox"},"message":"port state machine safety","distinct":true,"url":"https://api.github.com/repos/uwplse/verdi/commits/543fbd0cca495cbba62155ea43fbd2700a26aa59"}]}