{"push_id":2943998222,"size":3,"distinct_size":3,"ref":"refs/heads/ocaml-version-match","head":"ac1eaa588950663fcdad81ef07cc7521a32bacff","before":"4b739ff166183edb9e2198bf0e5d9b02897d173e","commits":[{"sha":"83ed393c903247927beb8f57b105ff08286b21c1","author":{"name":"Vaivaswatha N","email":"e824836e049a37b2879efbf67eaaf6c8c1e90808@users.noreply.github.com"},"message":"On errors / failures, print a structured (JSON) output, indictating (#268)\n\nthe different error messages with their source locations.\r\n\r\nTODO:\r\n1. There is an issue with `wrapp_with_info` leading to multiple\r\nmessages for the same error, with only one having location info.\r\n2. For contract tests (`scilla-runner`) with expected failures,\r\nthe outputs haven't been updated as the Testsuite doesn't compare\r\noutputs on errors for `scilla-runner` (contract tests).\r\n\r\nThese two issues will be fixed in subsequent PRs. Since this PR\r\nis invasive, I'd like to merge this first and then fix the TODOs\r\nabove.\r\n\r\nIssue #214.","distinct":true,"url":"https://api.github.com/repos/aspiers/scilla/commits/83ed393c903247927beb8f57b105ff08286b21c1"},{"sha":"7388a83fe028e491545c764f56e80f0c88fa69f9","author":{"name":"jjcnn","email":"cc987e226f687db785d8f74ce2558759be7fcd8a@users.noreply.github.com"},"message":"Type environment cleared when moving to next transition (#269)\n\n* Type environment cleared when moving to next transition\r\n\r\n* Added testcase showing the error that is now reported correctly","distinct":true,"url":"https://api.github.com/repos/aspiers/scilla/commits/7388a83fe028e491545c764f56e80f0c88fa69f9"},{"sha":"ac1eaa588950663fcdad81ef07cc7521a32bacff","author":{"name":"Vaivaswatha N","email":"e824836e049a37b2879efbf67eaaf6c8c1e90808@users.noreply.github.com"},"message":"Merge branch 'master' into ocaml-version-match","distinct":true,"url":"https://api.github.com/repos/aspiers/scilla/commits/ac1eaa588950663fcdad81ef07cc7521a32bacff"}]}
{"actor":{"display_login":"vaivaswatha"}}