{"push_id":622483933,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4d7811856bf2bc70e39b525955640afe1e2cf2a7","before":"a00e76efb2f000db9d2b658ab2ce094ba9dbc34e","commits":[{"sha":"84821ca6b850226478d3749a67624ba9ef21f3a0","author":{"email":"45396dd60a3a171454af320121b9e2c81aa4531a@g.clemson.edu","name":"Yu-Shan Sun"},"message":"a few more theorems to prove VCs using ccprove","distinct":true,"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE-Workspace/commits/84821ca6b850226478d3749a67624ba9ef21f3a0"},{"sha":"4d7811856bf2bc70e39b525955640afe1e2cf2a7","author":{"email":"45396dd60a3a171454af320121b9e2c81aa4531a@g.clemson.edu","name":"yushan87"},"message":"Merge pull request #54 from yushan87/modified-theories\n\na few more theorems to prove VCs using ccprove","distinct":true,"url":"https://api.github.com/repos/ClemsonRSRG/RESOLVE-Workspace/commits/4d7811856bf2bc70e39b525955640afe1e2cf2a7"}]}