{"push_id":731744602,"size":2,"distinct_size":2,"ref":"refs/heads/typeSystem","head":"15031586dcdf900061866b822f2cb653dab2707e","before":"ab526f8d2e2c1b828d7f5ffcf49f594e454622be","commits":[{"sha":"5487868149aad8b880b31e1ac7940711e2a8f5c3","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"disallow if/then/else, <: and :> as reference types, fix mergeExpAndSetExp test case","distinct":true,"url":"https://api.github.com/repos/gsdlab/clafer/commits/5487868149aad8b880b31e1ac7940711e2a8f5c3"},{"sha":"15031586dcdf900061866b822f2cb653dab2707e","author":{"email":"33c03f3aba3bcfc573f85d78eb1645a39fcfde35@gsd.uwaterloo.ca","name":"Michal Antkiewicz"},"message":"fixed a bug with isTop resolution","distinct":true,"url":"https://api.github.com/repos/gsdlab/clafer/commits/15031586dcdf900061866b822f2cb653dab2707e"}]}