{"push_id":967360384,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"cf6a6b16374699b4b6dd15d72e1498c0fe935e88","before":"049b7a0df6a137eba7f571cccd036fc128da3d98","commits":[{"sha":"cf26b9fb133b12dcf9871b20fb9741debdebe89d","author":{"email":"fbf50ae028c4f7afc8e07ad9532a1428076c9b63@gmail.com","name":"stratosphr"},"message":"Added support for prolog expressions.","distinct":true,"url":"https://api.github.com/repos/stratosphr/stratest/commits/cf26b9fb133b12dcf9871b20fb9741debdebe89d"},{"sha":"cf6a6b16374699b4b6dd15d72e1498c0fe935e88","author":{"email":"fbf50ae028c4f7afc8e07ad9532a1428076c9b63@gmail.com","name":"stratosphr"},"message":"Added support for Prolog expressions and Event-B expressions labeling.","distinct":true,"url":"https://api.github.com/repos/stratosphr/stratest/commits/cf6a6b16374699b4b6dd15d72e1498c0fe935e88"}]}