{"push_id":1426386744,"size":8,"distinct_size":8,"ref":"refs/heads/refactor-contractor","head":"74b4c17a82b1caaf55de29963595e55a1ef6aa8b","before":"48afe154abdbc165c4adf119bad421c972848726","commits":[{"sha":"2f564b2d7e9bbc930c67bfa0d5ce023809561447","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"fix(dsolvers/nra_solver.cpp): consider params as well as vars\n\nWhen connect a mode invariant to an ode constraint.","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/2f564b2d7e9bbc930c67bfa0d5ce023809561447"},{"sha":"0ca0891ebfc820b40df4fc8cfe959118f649e392","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"test(nra_ode/fedor_01.smt2): change expected output","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/0ca0891ebfc820b40df4fc8cfe959118f649e392"},{"sha":"d8a464bcee8d1a45f0c0aab4bb26cb043c8be8a1","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"refactor(contractor): clean up codebase\n\n - Put necessary files in the contractor.h file so that most of its users just need to include only contractor.h file.\n - Remove contractor_{code,common}.*","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/d8a464bcee8d1a45f0c0aab4bb26cb043c8be8a1"},{"sha":"8abe914bd2324112da9c4029b6218c0be5cb0691","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"chore(CMakeLists.txt): bump version to 3.16.11","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/8abe914bd2324112da9c4029b6218c0be5cb0691"},{"sha":"32ee2e7595956facf9672b4794535ba3fa784225","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"chore(.gitignore): add doxygen_out","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/32ee2e7595956facf9672b4794535ba3fa784225"},{"sha":"9eeb5a891da2bddd94df152964f8fee2ba2766e7","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"chore: add .no-clang-format files","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/9eeb5a891da2bddd94df152964f8fee2ba2766e7"},{"sha":"cc90aa252fa4f11d890ff130601925f8101e96e7","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"add contractor_exception","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/cc90aa252fa4f11d890ff130601925f8101e96e7"},{"sha":"74b4c17a82b1caaf55de29963595e55a1ef6aa8b","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"Refactor: Apply include-what-you-use","distinct":true,"url":"https://api.github.com/repos/soonho-tri/dreal3/commits/74b4c17a82b1caaf55de29963595e55a1ef6aa8b"}]}
{"actor":{"display_login":"soonho-tri"}}