{"push_id":817298053,"size":1,"distinct_size":1,"ref":"refs/heads/simple_tutorial","head":"1956bfa7a70e006c08edc5edf12d598188ba73d7","before":"24bef5de58642f6e4cd93084bad458d72378f3dd","commits":[{"sha":"1956bfa7a70e006c08edc5edf12d598188ba73d7","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"fix to the parsing/non termination issue","distinct":true,"url":"https://api.github.com/repos/msaxena2/k/commits/1956bfa7a70e006c08edc5edf12d598188ba73d7"}]}