{"push_id":687052710,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b660e81e17e65fbc4f0ab5b6f63fb30ed36293a9","before":"6374c5f02e5a83fa743adf02e43bc5643e7355af","commits":[{"sha":"b660e81e17e65fbc4f0ab5b6f63fb30ed36293a9","author":{"email":"ea6c64309263f45f84f10fda8215a3a9be3ad480@gmail.com","name":"Alan Litteneker"},"message":"Fix for entailment test, and completion of speed up efforts. It works (I think), but it's a hell of a lot slower than the oracle.","distinct":true,"url":"https://api.github.com/repos/alitteneker/CS264A/commits/b660e81e17e65fbc4f0ab5b6f63fb30ed36293a9"}]}