{"push_id":832757702,"size":2,"distinct_size":2,"ref":"refs/heads/refactor-ops","head":"b1c1422c72b008543d8a3d49441cbf71ea9249e4","before":"2705f1a895971cbfd4415b46b6cb1e2543563f98","commits":[{"sha":"f1cec1251fd9bcac5ff07a74664373a8bc436377","author":{"email":"2925dc4a369bed4f983990f87bdef6875553515f@alum.mit.edu","name":"Emina Torlak"},"message":"Fixed a bug in enum recognizer procedure.","distinct":true,"url":"https://api.github.com/repos/emina/rosette/commits/f1cec1251fd9bcac5ff07a74664373a8bc436377"},{"sha":"b1c1422c72b008543d8a3d49441cbf71ea9249e4","author":{"email":"2925dc4a369bed4f983990f87bdef6875553515f@alum.mit.edu","name":"Emina Torlak"},"message":"Bitvector type checkpoint.","distinct":true,"url":"https://api.github.com/repos/emina/rosette/commits/b1c1422c72b008543d8a3d49441cbf71ea9249e4"}]}