{"push_id":3158085814,"size":2,"distinct_size":2,"ref":"refs/heads/visual-studio-warnings","head":"c1651767bf4be4924b7c5ba3580fd47593b652b0","before":"98f75c1221a5383c682f68f5664c13b3cefc9772","commits":[{"sha":"c3f47272353ea44507ebe08185bf4784f611b5c8","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove unused variables\n\nJust keep the function call performing checks.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c3f47272353ea44507ebe08185bf4784f611b5c8"},{"sha":"c1651767bf4be4924b7c5ba3580fd47593b652b0","author":{"name":"Michael Tautschnig","email":"748e42428bdb80a38b0ae6152e56b0036d7462d4@amazon.com"},"message":"Remove shadowing and unnecessary parameter \"symbol_table\"\n\nThe method is only invoked once, and the class member is passed as argument.","distinct":true,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/c1651767bf4be4924b7c5ba3580fd47593b652b0"}]}
{"actor":{"display_login":"tautschnig"}}