{"push_id":811093381,"size":1,"distinct_size":1,"ref":"refs/heads/hotfixes/v2.2.5","head":"7d81568555788a4e7f21ab1aaa602f960f3c1e57","before":"243e051df31736ddbac292818c3d88e135089762","commits":[{"sha":"7d81568555788a4e7f21ab1aaa602f960f3c1e57","author":{"email":"5ccda968a27f556d4759415cd449a9b0de9fb1de@galois.com","name":"Adam C. Foltzer"},"message":"remove iteSolver option for compat with sbv 5+","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/7d81568555788a4e7f21ab1aaa602f960f3c1e57"}]}