{"push_id":604807759,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"9729ef7890e12e9d4e5ddeb675f71ea039b68d95","before":"863c682da73d1dbae0164d646aeac85ae10dcb79","commits":[{"sha":"27b6c4b964a1fbf6712f86ff220fd08bd8a0b5d0","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"Documentation\nFix in NuXmv Translation","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/27b6c4b964a1fbf6712f86ff220fd08bd8a0b5d0"},{"sha":"9da81326a87f47f2e737200d74ac05b05e4b0455","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"New Test","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/9da81326a87f47f2e737200d74ac05b05e4b0455"},{"sha":"94e3e74d67f8d32c3f90eb016828a7eeba7f01c1","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"* New Smoke Tests.\n* VcSam now has a place for the next() variable\n* Stubs for Prism Transformation","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/94e3e74d67f8d32c3f90eb016828a7eeba7f01c1"},{"sha":"9729ef7890e12e9d4e5ddeb675f71ea039b68d95","author":{"email":"b34c23dc69241eae9600046105fbc0f72ebed0df@googlemail.com","name":"Johannes Leupolz"},"message":"refactored NuXmv Translation","distinct":true,"url":"https://api.github.com/repos/isse-augsburg/safety-sharp/commits/9729ef7890e12e9d4e5ddeb675f71ea039b68d95"}]}