{"push_id":739055548,"size":1,"distinct_size":1,"ref":"refs/heads/cutsolver","head":"bba2f5b28c4f9f801d938e82791e830c685b649a","before":"dfd4eda1397cb26c3b22c071ad4d9e0d0d93ac64","commits":[{"sha":"bba2f5b28c4f9f801d938e82791e830c685b649a","author":{"email":"12dc77b39be072e15b5be78d4ad9e8157e1ee04a@caltech.edu","name":"Benjamin Cosman"},"message":"Move lhsKVars and rhsKVars to Visitor","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/bba2f5b28c4f9f801d938e82791e830c685b649a"}]}