{"push_id":905465190,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ecd5c1ec590f1e3ff4fde99880bbcafa28447a5e","before":"21b20fe6d78c50e3faf0b711170f5d84567666cb","commits":[{"sha":"ecd5c1ec590f1e3ff4fde99880bbcafa28447a5e","author":{"email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com","name":"ajreynol"},"message":"Check for duplicate refinements when handling negated star. Minor change to shared terms for sep.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4SepLogic/commits/ecd5c1ec590f1e3ff4fde99880bbcafa28447a5e"}]}