{"push_id":680042124,"size":3,"distinct_size":3,"ref":"refs/heads/typeDecList","head":"010dff75d55a3524367c0f98aab017702963e508","before":"af4f09b7d4eb0794d57f4fbfb22d7828d76a719b","commits":[{"sha":"cedba2eb6b19276fe5e8372448bd285d3a476339","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"fix: remove syntax KLabel ::= \"'MethodName\" declaration","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/cedba2eb6b19276fe5e8372448bd285d3a476339"},{"sha":"3d1b2fe2fdfbb683c97e737b4afcf5fea165927f","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"for concrete rules purpose: desugar LocalVarDec into LocalVarDecStm instead of the reverse","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/3d1b2fe2fdfbb683c97e737b4afcf5fea165927f"},{"sha":"010dff75d55a3524367c0f98aab017702963e508","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"add a rule to help type checking when the second argument of MethodImpl is Id instead of MethodName","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/010dff75d55a3524367c0f98aab017702963e508"}]}