{"push_id":570725870,"size":1,"distinct_size":1,"ref":"refs/heads/fixes","head":"ffa015f94e6472e6731749c121c264c900ad7398","before":"511216b1b6df4332bed649075fa6bee622ea3c7e","commits":[{"sha":"ffa015f94e6472e6731749c121c264c900ad7398","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"various minor fixes to c semantics","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/ffa015f94e6472e6731749c121c264c900ad7398"}]}