{"push_id":890873371,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b68e42694f59c085fcfdb1c3a2dd8094a10f1cfb","before":"20c2cf4d3cb862f75268dddfd1bbd88cfff6b8ec","commits":[{"sha":"b68e42694f59c085fcfdb1c3a2dd8094a10f1cfb","author":{"email":"cf34d7ca5d28f2e8d3d99b21d78df0daa7289c75@galois.com","name":"Aaron Tomb"},"message":"Add scImplies to Verifier.SAW.SharedTerm","distinct":true,"url":"https://api.github.com/repos/GaloisInc/saw-core/commits/b68e42694f59c085fcfdb1c3a2dd8094a10f1cfb"}]}