{"push_id":1395933812,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2af3c5c42e8a48822f1bc84594a87bca26c33f47","before":"94b31c3db744672569b83e74ce1d23713e9b15de","commits":[{"sha":"2af3c5c42e8a48822f1bc84594a87bca26c33f47","author":{"name":"Dan Liew","email":"83a8ff37c44d688876396ac8ef90241df7a1f3c7@imperial.ac.uk"},"message":"[WIP] Start writing infrastructure to better analyse klee results.\nThis infrastructure looks at what's KLEE's verdict is with respect\nto a property. It does not try to compare to a spec. This isn't\ntested yet but a driver utility will land soon that uses it.","distinct":true,"url":"https://api.github.com/repos/delcypher/klee-runner/commits/2af3c5c42e8a48822f1bc84594a87bca26c33f47"}]}
{"actor":{"display_login":"delcypher"}}