{"push_id":2499809117,"size":1,"distinct_size":1,"ref":"refs/heads/pure-uint","head":"867c57372a66dc15dd4ec04e60fb37f9db2a04ac","before":"9002b8e9d6f199390eeaa6cd81eb4ae73f43251d","commits":[{"sha":"867c57372a66dc15dd4ec04e60fb37f9db2a04ac","author":{"name":"Theodoros Kasampalis","email":"a0963571500b92c60eba27b7f72bc73479f32a05@illinois.edu"},"message":"Replaced (u)int256 with (u)int in the SolidityOptimizer c++ test suite.","distinct":true,"url":"https://api.github.com/repos/runtimeverification/solidity/commits/867c57372a66dc15dd4ec04e60fb37f9db2a04ac"}]}
{"actor":{"display_login":"theo25"}}