{"push_id":809936599,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"b3e228f672a4246237945a86555ca1b1ada3de13","before":"ce513ec8cc1db6c73f03523387b5293ce89588a4","commits":[{"sha":"5101b3ba77703d41008b59f11061e1cfef560254","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(contractor/contractor_ibex): use raw pointer for m_sys_eqs\n\nm_sys_eqs could be nullptr, m_sys, or a newly create ibex::System *. So\nit's not straight-forward to handle it as a unique_ptr","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/5101b3ba77703d41008b59f11061e1cfef560254"},{"sha":"feaf70a7b1065359e5dbebda54bd2b7d9deb9680","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(util/box.h): remove m_bounds, shrink_bounds, adjust_bound","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/feaf70a7b1065359e5dbebda54bd2b7d9deb9680"},{"sha":"0f2baf56efe5e4d15b759b69f7209240e4f0c98b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(constraint): ctr of nonlinear_constraint takes a set of variables","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0f2baf56efe5e4d15b759b69f7209240e4f0c98b"},{"sha":"63edc669755e1258be635e6f717150b36737aea0","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(opensmt): remove bounds from enode","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/63edc669755e1258be635e6f717150b36737aea0"},{"sha":"e1a89e0dc60add17c4e60b55ed4bffea81ad534b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(contractor): chores","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/e1a89e0dc60add17c4e60b55ed4bffea81ad534b"},{"sha":"6e8b426a63ba553503b0151d8e9be9c0e2e0e7bf","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(util/box): share m_vars/m_name_index_map, remove m_domains/m_precisions","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/6e8b426a63ba553503b0151d8e9be9c0e2e0e7bf"},{"sha":"b3e228f672a4246237945a86555ca1b1ada3de13","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(CMakeLists.txt): bump version to 3.15.09.01","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/b3e228f672a4246237945a86555ca1b1ada3de13"}]}