{"push_id":1954801987,"size":1,"distinct_size":1,"ref":"refs/heads/hotfix/rightOnlyVariables","head":"f956dc2a84bd6fc7493f609f6bb79fac01d66560","before":"b06670c2494108bbcf7551c6ba1a6daed8937cb7","commits":[{"sha":"f956dc2a84bd6fc7493f609f6bb79fac01d66560","author":{"name":"Lucas Pena","email":"2ddb364c6893feb90faa2edecfa8bc96fb010116@illinois.edu"},"message":"prover: Don't lose track of LHS variables during execution\n\nEarlier if a variable on both sides of a  reachability rule is\ndropped from the left handside, the prover treats it as a right-only-variable.\n\nFixes: #2328","distinct":true,"url":"https://api.github.com/repos/kframework/k/commits/f956dc2a84bd6fc7493f609f6bb79fac01d66560"}]}
{"actor":{"display_login":"nishantjr"}}