{"push_id":2738897494,"size":13,"distinct_size":13,"ref":"refs/heads/master","head":"cf900911be4938416b29b7b7b27a74052409a8fa","before":"3301bfc66d9108a5666841e7f617c0702f3653d1","commits":[{"sha":"bc0a9168e92a5cf33a543a3a5243d4f80fa1d942","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"progress in clauses","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/bc0a9168e92a5cf33a543a3a5243d4f80fa1d942"},{"sha":"7684c7fe89dede6abdc1f48086cbe5a54eb080b3","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"add stats","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/7684c7fe89dede6abdc1f48086cbe5a54eb080b3"},{"sha":"526fe1ea5cabcd9ccf3bc72ab7ee3178b956d7c9","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"Merge branch 'vig' of https://github.com/anwu1219/sat_gen into vig","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/526fe1ea5cabcd9ccf3bc72ab7ee3178b956d7c9"},{"sha":"f48114e0ac3ff20e355c01417426dda818755d82","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"stats","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/f48114e0ac3ff20e355c01417426dda818755d82"},{"sha":"27a358ef933ca334a5fd1ef4f6fc7bc3f32d8437","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":".","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/27a358ef933ca334a5fd1ef4f6fc7bc3f32d8437"},{"sha":"9fb92f369127f257dc0f5cba8e14b2fb6568a70f","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"Merge branch 'master' into reject_sampling","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/9fb92f369127f257dc0f5cba8e14b2fb6568a70f"},{"sha":"fedc24d7ce3a8f7bbe789733b116ad77cea5d1e4","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"reject_sampling implemented","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/fedc24d7ce3a8f7bbe789733b116ad77cea5d1e4"},{"sha":"0a2ca3caf3b679f306b93fd0c273fd1af9d9c6bb","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"Merge branch 'master' of https://github.com/anwu1219/sat_gen","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/0a2ca3caf3b679f306b93fd0c273fd1af9d9c6bb"},{"sha":"0985fea5c42b0708e665020dc7f7f01c086e5cee","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"clean up","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/0985fea5c42b0708e665020dc7f7f01c086e5cee"},{"sha":"7d2dae3595daee23af230095f24b9114f88f79d3","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"Merge branch 'master' of https://github.com/anwu1219/sat_gen","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/7d2dae3595daee23af230095f24b9114f88f79d3"},{"sha":"e36a623aacb31249d2fb85cd8a4e1d6c7bb7ab0d","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"stats","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/e36a623aacb31249d2fb85cd8a4e1d6c7bb7ab0d"},{"sha":"a0362d5cab2355328da0894bf4b15acf48f00cf8","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"Merge branch 'master' of https://github.com/anwu1219/sat_gen","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/a0362d5cab2355328da0894bf4b15acf48f00cf8"},{"sha":"cf900911be4938416b29b7b7b27a74052409a8fa","author":{"name":"Haoze Wu","email":"c31be13f470ee206bd48d79cc182a2f2a1cd6596@mpi-sws.org"},"message":"add stats","distinct":true,"url":"https://api.github.com/repos/anwu1219/sat_gen/commits/cf900911be4938416b29b7b7b27a74052409a8fa"}]}
{"actor":{"display_login":"anwu1219"}}