{"push_id":881269271,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3be2fd16db5df70ff4a2fa9c431a46f39bddcfa9","before":"0435aa0fb9edcc3cf7f474e34a24538ad99a578b","commits":[{"sha":"3be2fd16db5df70ff4a2fa9c431a46f39bddcfa9","author":{"email":"f91541227a0cd03c51a39311d18cb3d2261ad392@hotmail.com","name":"David Sheridan"},"message":"Refactored the bisimulation code so that it is easier to read and added the functionality to recognise nodes with multiple edges.","distinct":true,"url":"https://api.github.com/repos/DavidSheridan/Model-Checker/commits/3be2fd16db5df70ff4a2fa9c431a46f39bddcfa9"}]}