{"push_id":709813973,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"00b684f10e69f161f8e3634de89175981099d151","before":"3104d2954ce58dd00b4896e18b9484576b1fc003","commits":[{"sha":"00b684f10e69f161f8e3634de89175981099d151","author":{"email":"cd31487b9bdcd888cb44d4d4d84a7db160a66157@microsoft.com","name":"Henning Guenther"},"message":"Replace cone-of-influence filter with generalized dataflow-engine","distinct":true,"url":"https://api.github.com/repos/hguenther/z3/commits/00b684f10e69f161f8e3634de89175981099d151"}]}