{"push_id":679434393,"size":1,"distinct_size":1,"ref":"refs/heads/typeDecList","head":"ba3b958666ed41102c46d45a37cdd9e56a60953d","before":"5b4a040b6a22312d16fefbd391caafa42a6fbb28","commits":[{"sha":"ba3b958666ed41102c46d45a37cdd9e56a60953d","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"remove KListWrap for BlockStmList (from entry point, now no LIST-MACRO)\nstill have some places where 'Block() is used arbitrarily, so the inside is not BlockStmList, todo","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/ba3b958666ed41102c46d45a37cdd9e56a60953d"}]}