{"push_id":540971214,"size":3,"distinct_size":3,"ref":"refs/heads/java_engine","head":"a43300aad53db020441f4ebd1ac1eeb9e53e33ed","before":"d925301adb743c189bfd7d47e3e847e08061f8fa","commits":[{"sha":"faaeb2616ce28226204e1fe43b9735f5a41f8cfe","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"qangel"},"message":"adding more valid syntax for global and local variables","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-semantics/commits/faaeb2616ce28226204e1fe43b9735f5a41f8cfe"},{"sha":"8566d13c8a309f2a7cbe4beeb662e449115caa8d","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"qangel"},"message":"adding more valid syntax for global and local variables","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-semantics/commits/8566d13c8a309f2a7cbe4beeb662e449115caa8d"},{"sha":"a43300aad53db020441f4ebd1ac1eeb9e53e33ed","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"qangel"},"message":"generating the local and global names","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-semantics/commits/a43300aad53db020441f4ebd1ac1eeb9e53e33ed"}]}