{"push_id":576236141,"size":1,"distinct_size":1,"ref":"refs/heads/java_engine_defining_more_syntax","head":"c96368972ed2d3fae2e7a06af01fd11dea847113","before":"662feaee47ac2b2f592909628dd67ef80c9678f4","commits":[{"sha":"c96368972ed2d3fae2e7a06af01fd11dea847113","author":{"email":"2131b72fa43f8daa0251f91de0d3ea6e6e55ad9d@illinois.edu","name":"qangel"},"message":"adding comments in README.md to indicate how to use the external parser","distinct":true,"url":"https://api.github.com/repos/kframework/llvm-semantics/commits/c96368972ed2d3fae2e7a06af01fd11dea847113"}]}