{"push_id":781171193,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5cdd5e6fe1df0c6a0dd64f9cc70c41f00d7f5e6c","before":"b8b811bd1f05ab7d1f029a15b3c753d8183966ef","commits":[{"sha":"122a918e20cd9d6036431ac1867c91b63dc6ed7f","author":{"email":"da8bfcd6ae0054776e4d61775f3e75c061c41bdc@gmail.com","name":"MartinNowack"},"message":"Add build information for STP 2.1.0 and minisat","distinct":true,"url":"https://api.github.com/repos/klee/klee.github.io/commits/122a918e20cd9d6036431ac1867c91b63dc6ed7f"},{"sha":"4f88ab69de37e97f2a695b4cf54a7d30dfc22528","author":{"email":"da8bfcd6ae0054776e4d61775f3e75c061c41bdc@gmail.com","name":"MartinNowack"},"message":"remove the lit part and update test description","distinct":true,"url":"https://api.github.com/repos/klee/klee.github.io/commits/4f88ab69de37e97f2a695b4cf54a7d30dfc22528"},{"sha":"5cdd5e6fe1df0c6a0dd64f9cc70c41f00d7f5e6c","author":{"email":"6cfa9a8bf1397984d2673ff89a7011ab1857a296@imperial.ac.uk","name":"Cristian Cadar"},"message":"Merge pull request #8 from MartinNowack/stp_update\n\nStp update","distinct":true,"url":"https://api.github.com/repos/klee/klee.github.io/commits/5cdd5e6fe1df0c6a0dd64f9cc70c41f00d7f5e6c"}]}