{"push_id":719358394,"size":2,"distinct_size":2,"ref":"refs/heads/unstable","head":"5703abd3f12ce5e3bd022a0ceb81462a0a263ba2","before":"57c51493ef34d667151868e99d33412d1dbc71b4","commits":[{"sha":"8edd551f20b251e56fa84c124cd2493daf124af7","author":{"email":"cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com","name":"Nuno Lopes"},"message":"remove uneeded calls to datalog_context::get_rules(), since it can be expensive.\nthanks to Henning Guenther for finding this.\n\nSigned-off-by: Nuno Lopes <nlopes@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/8edd551f20b251e56fa84c124cd2493daf124af7"},{"sha":"5703abd3f12ce5e3bd022a0ceb81462a0a263ba2","author":{"email":"cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com","name":"Nuno Lopes"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/5703abd3f12ce5e3bd022a0ceb81462a0a263ba2"}]}