{"push_id":1189533783,"size":15,"distinct_size":15,"ref":"refs/heads/master","head":"3370345a3edd8890f61be0c12b79cbcaa9792e02","before":"16308dacbafc4807513160ecd10d6190456b9e69","commits":[{"sha":"aa2151c0acafbf1fef7b4976f50ce1c5e43c1f33","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat: add dump_formulas","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/aa2151c0acafbf1fef7b4976f50ce1c5e43c1f33"},{"sha":"03b3be6130fdaa3368474656358b05022483d2b3","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat(util/ibex_enode.cpp): simplify 0 + x => x","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/03b3be6130fdaa3368474656358b05022483d2b3"},{"sha":"a4ed338d9f89f83216a4605abd18d19d55ea94c0","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat(api/drealControl.cpp): use dump_formulas inside of synthesizeLyapunov function","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/a4ed338d9f89f83216a4605abd18d19d55ea94c0"},{"sha":"1a836de32a89f99edef13f68e5edf14e1d5edb7a","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat(util/ibex_enode.cpp): more simplification","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/1a836de32a89f99edef13f68e5edf14e1d5edb7a"},{"sha":"d33bf630d3eee437e42a417443b91de72eaad76c","author":{"name":"Sicun Gao","email":"453c1e9f369f381acc6fcb4647e222947e3a279b@gmail.com"},"message":"feat: changes in synlyp","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/d33bf630d3eee437e42a417443b91de72eaad76c"},{"sha":"163e530593e8b5f0bbb9e54e2e9b1d9a5ed917f8","author":{"name":"Sicun Gao","email":"453c1e9f369f381acc6fcb4647e222947e3a279b@gmail.com"},"message":"fix(api/drealControl.cpp): debugging","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/163e530593e8b5f0bbb9e54e2e9b1d9a5ed917f8"},{"sha":"21c923c282d6e8a4c2bbd392e35960dcd7d1d6aa","author":{"name":"Sicun Gao","email":"453c1e9f369f381acc6fcb4647e222947e3a279b@gmail.com"},"message":"fix(api/drealControl.cpp): continue debugging","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/21c923c282d6e8a4c2bbd392e35960dcd7d1d6aa"},{"sha":"df8633cf00e3ecaaf2ca308f19b2c27f8bf0081c","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"fix(util/ibex_enode.cpp): remove wrong simplification","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/df8633cf00e3ecaaf2ca308f19b2c27f8bf0081c"},{"sha":"f17be20898e29cb5fc30a7e5e788c79f1be6188c","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat(api): add set_lp","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/f17be20898e29cb5fc30a7e5e788c79f1be6188c"},{"sha":"696796a2ec26794250f7fe6dd1b2db7fb5a23d11","author":{"name":"Sicun Gao","email":"453c1e9f369f381acc6fcb4647e222947e3a279b@gmail.com"},"message":"fix(api/drealControl.h): debugging","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/696796a2ec26794250f7fe6dd1b2db7fb5a23d11"},{"sha":"6483536483b5ad30eb8b16c8c943ffa9c67a25fa","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"fix(api/expr.cpp): fix v > c and c > v cases","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/6483536483b5ad30eb8b16c8c943ffa9c67a25fa"},{"sha":"052cd1e34e769c328d3bed4ba61fda1f314b2264","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"test(cpp_api): add expr tests","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/052cd1e34e769c328d3bed4ba61fda1f314b2264"},{"sha":"0146dae911c105707f654067edede148d48c935f","author":{"name":"Sicun Gao","email":"453c1e9f369f381acc6fcb4647e222947e3a279b@gmail.com"},"message":"feat(tests/cpp_api): more examples in lyp_test","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0146dae911c105707f654067edede148d48c935f"},{"sha":"e24a87bf81fac1a4e145476fa8ef590a8bc8d3f6","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"fix(icp/lp_icp.cpp): reset thread_local static lp_point","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/e24a87bf81fac1a4e145476fa8ef590a8bc8d3f6"},{"sha":"3370345a3edd8890f61be0c12b79cbcaa9792e02","author":{"name":"Soonho Kong","email":"f16dc1488e12b08d983e11298e70410acf20cfee@cs.cmu.edu"},"message":"feat(api): add set_lp_only","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/3370345a3edd8890f61be0c12b79cbcaa9792e02"}]}
{"actor":{"display_login":"soonhokong"}}