{"push_id":765786132,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"72e88710c97284f25b4546a68419bbc185ce765f","before":"0420ee4a667b436dcc2f126d2df042f4f8782739","commits":[{"sha":"ced7307e73b07a32eb77e7f5f44ad0753888ef85","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Counterexample Traces are interpreted with SPIN","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/ced7307e73b07a32eb77e7f5f44ad0753888ef85"},{"sha":"99c8f2f9262b534f122a2b83a855b419ac1404ec","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Fixed tests","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/99c8f2f9262b534f122a2b83a855b419ac1404ec"},{"sha":"f36ea07513a4ceef7748841145a58cc92aee9a9a","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"print counterexamples to log","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/f36ea07513a4ceef7748841145a58cc92aee9a9a"},{"sha":"72e88710c97284f25b4546a68419bbc185ce765f","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Improved output","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/72e88710c97284f25b4546a68419bbc185ce765f"}]}