{"push_id":668179462,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"a8aca1486dd13c07f746a599f596d95418bdc8f3","before":"ab6f665fd8c3d57eb2ea028d0744cdfa4614a4dc","commits":[{"sha":"4fa22ddc47572d613cb2e16208a392cc9f002781","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Helper functions","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/4fa22ddc47572d613cb2e16208a392cc9f002781"},{"sha":"3df0666e2e6aa0b05083dccabf9747e88074f5f0","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Regex Parser for errors","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/3df0666e2e6aa0b05083dccabf9747e88074f5f0"},{"sha":"1f77e0c23202f14a2d171bd264a3b992bdd20c7d","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Regex Parser for errors","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/1f77e0c23202f14a2d171bd264a3b992bdd20c7d"},{"sha":"8b540b715dc92c9a88293b928ed0c2f564404d24","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Spin: Implemented DCCA. Currently untested","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/8b540b715dc92c9a88293b928ed0c2f564404d24"},{"sha":"d5a967bb05b87f6f12fb150c53bdc7a85339fc63","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Test stubs for Dcca with LTL","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/d5a967bb05b87f6f12fb150c53bdc7a85339fc63"},{"sha":"91f50ac379cade3ed71d0104466ab072d9b11b7e","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"DCCA LTL: Fixed formulasToVerify_CheckIfNumberOfFaultsIsSafe","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/91f50ac379cade3ed71d0104466ab072d9b11b7e"},{"sha":"a8aca1486dd13c07f746a599f596d95418bdc8f3","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"DCCA-LTL: Fixed some bugs we found with our test cases. Added new Test. Updated old test with a hazard.","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/a8aca1486dd13c07f746a599f596d95418bdc8f3"}]}