{"push_id":560171558,"size":3,"distinct_size":3,"ref":"refs/heads/undefinedness","head":"fccba6444c02d0c122f0612b0a20686aee4e2688","before":"74c924fb94236c9c4a9facb7302e86b96465d57a","commits":[{"sha":"52f5f945db730f4ef5fc739623c9bb1201391083","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"update semantics to support new test coverage","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/52f5f945db730f4ef5fc739623c9bb1201391083"},{"sha":"93464c2da8a229e24612d4b3c3c0b002cdc23a33","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"move test suite to new home","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/93464c2da8a229e24612d4b3c3c0b002cdc23a33"},{"sha":"fccba6444c02d0c122f0612b0a20686aee4e2688","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add all reference results","distinct":true,"url":"https://api.github.com/repos/dwightguth/c-semantics/commits/fccba6444c02d0c122f0612b0a20686aee4e2688"}]}