{"push_id":691229563,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"a9c7cf28f03173a094f2f196ac78e4dd1adb5c24","before":"123639bad50afcb7d1d40fc00c14f830c743cd87","commits":[{"sha":"b23fac30b3631340e868df548a57b6e94f1deffc","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"improved isNormal and isGround computations","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/b23fac30b3631340e868df548a57b6e94f1deffc"},{"sha":"e4b38b6e5138b47c9deb8d45524c021f1b9c15db","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"changes to variables computation","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/e4b38b6e5138b47c9deb8d45524c021f1b9c15db"},{"sha":"2edb3d964927881d48e46dec5e446a8f916bb9a6","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"addressed Dwight's comments","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/2edb3d964927881d48e46dec5e446a8f916bb9a6"},{"sha":"a83751ab232eba84f81c459ba540a2b106a96522","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"thanks Dwight","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/a83751ab232eba84f81c459ba540a2b106a96522"},{"sha":"a9c7cf28f03173a094f2f196ac78e4dd1adb5c24","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"Merge pull request #1530 from andreistefanescu/fast_unification2\n\nimproved isNormal and isGround computations","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/a9c7cf28f03173a094f2f196ac78e4dd1adb5c24"}]}