{"push_id":843005872,"size":3,"distinct_size":1,"ref":"refs/heads/new_errors","head":"d3881c8b4753f0d4b0a17d1a175bb447cc89f38a","before":"faac73b6cfdc9d9037f6ecd97d57e0931c1fc4c1","commits":[{"sha":"7b6b9fdb40387efadcdaa4231189906d9c4539ac","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"add examples for demo","distinct":false,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/7b6b9fdb40387efadcdaa4231189906d9c4539ac"},{"sha":"ca9498f427ec0eed3d8c6bf2b2db98cb0fd19e75","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"fix issues with demo on windows","distinct":false,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/ca9498f427ec0eed3d8c6bf2b2db98cb0fd19e75"},{"sha":"d3881c8b4753f0d4b0a17d1a175bb447cc89f38a","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"Merge remote-tracking branch 'dwight/new_errors' into new_errors","distinct":true,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/d3881c8b4753f0d4b0a17d1a175bb447cc89f38a"}]}