{"push_id":2866939030,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6f95208164d4e8c1a8505f4fb70944133cbc62f6","before":"4ba910d59036ed9904f79bd856064e14f43f5923","commits":[{"sha":"6f95208164d4e8c1a8505f4fb70944133cbc62f6","author":{"name":"Traian Florin Șerbănuță","email":"00928019b92765ccb30cad5c63086832238236bf@gmail.com"},"message":"Inj unification (#199)\n\n* Basic inj unification implementation and tests\r\n\r\n* Added imp-monosorted-strict definition\r\n\r\n* Added more tests (both positive and negative)\r\n\r\n* IMP definition with proper subsorting\r\n\r\n* Modified inj unification to use attributes instead of hardcoded symbols\r\n\r\n* Moved sortInjection simplification to Function Evaluator\r\n\r\n* Implemented injection cases for equality simplification. Added tests.\r\n\r\n* Addressing review questions","distinct":true,"url":"https://api.github.com/repos/kframework/kore/commits/6f95208164d4e8c1a8505f4fb70944133cbc62f6"}]}
{"actor":{"display_login":"traiansf"}}