{"push_id":838635665,"size":1,"distinct_size":1,"ref":"refs/heads/new_errors","head":"af3491b00f9ab38d215fcc29040d96fd700fffee","before":"2548e58cfbb6be7fa7c4cc601433c808d5a1c1ed","commits":[{"sha":"af3491b00f9ab38d215fcc29040d96fd700fffee","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"added examples for UB-TIN1 and UB-TIN2","distinct":true,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/af3491b00f9ab38d215fcc29040d96fd700fffee"}]}