{"push_id":757527030,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9fa56160f8b10ce507bfe68b8cc561091a3b3ec1","before":"dadc5e17810cbbe82fefcf2f2e1ecd4c82c95461","commits":[{"sha":"9fa56160f8b10ce507bfe68b8cc561091a3b3ec1","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Only add subtraction in special cases during goal rewriting\n\n  It's only OK to subtract something if you know that it's finite.  This change\nadds a fairly conservative check when rewriting `a + b = r` to `a = r - b` that\n`b` be finite.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/9fa56160f8b10ce507bfe68b8cc561091a3b3ec1"}]}