{"push_id":1318526641,"size":5,"distinct_size":1,"ref":"refs/heads/master","head":"c85f8342b9522abffbda3bb1f9fb6d53f190cdd5","before":"5357317177318da5df1c61a650f6095205d27f5c","commits":[{"sha":"82c878b3bf884fa5d194b84ba34c66e0df4516b6","author":{"name":"felicia.halim","email":"57c1cf6263e11f29725550bb05fc43283c1a5ec9@live.com"},"message":"Bug fix for Average table entries per subsumption checkpoint and add more info regarding Average solver calls per subsumption check to avoid 0 when the number is very small","distinct":false,"url":"https://api.github.com/repos/tracer-x/klee/commits/82c878b3bf884fa5d194b84ba34c66e0df4516b6"},{"sha":"178bdeeeff879d5ecd2088003aad8aad52aa8179","author":{"name":"felicia.halim","email":"57c1cf6263e11f29725550bb05fc43283c1a5ec9@live.com"},"message":"Reformatting the code with clang format","distinct":false,"url":"https://api.github.com/repos/tracer-x/klee/commits/178bdeeeff879d5ecd2088003aad8aad52aa8179"},{"sha":"ec7c74dc3ae43dbb07d0bf372b3c31cafb173134","author":{"name":"felicia.halim","email":"57c1cf6263e11f29725550bb05fc43283c1a5ec9@live.com"},"message":"Reformat the syntax","distinct":false,"url":"https://api.github.com/repos/tracer-x/klee/commits/ec7c74dc3ae43dbb07d0bf372b3c31cafb173134"},{"sha":"009fd21e890df983db8dc6bf93ba5e48645d4d56","author":{"name":"felicia.halim","email":"57c1cf6263e11f29725550bb05fc43283c1a5ec9@live.com"},"message":"Reformatting the indentation","distinct":false,"url":"https://api.github.com/repos/tracer-x/klee/commits/009fd21e890df983db8dc6bf93ba5e48645d4d56"},{"sha":"c85f8342b9522abffbda3bb1f9fb6d53f190cdd5","author":{"name":"Andrew Santosa","email":"450e7b3cb5771289330d85edab6e750195a3a4d2@yahoo.com"},"message":"Merge pull request #143 from tracer-x/stats\n\nBug fix for average table entries per subsumption checkpoint and more info","distinct":true,"url":"https://api.github.com/repos/tracer-x/klee/commits/c85f8342b9522abffbda3bb1f9fb6d53f190cdd5"}]}
{"actor":{"display_login":"domainexpert"}}