{"push_id":1037725180,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bf81811bea278e8e0840c853f0ef3a2f16453541","before":"412e3417d83530bee3e0cc3b5bfca96c4b071a5c","commits":[{"sha":"bf81811bea278e8e0840c853f0ef3a2f16453541","author":{"email":"da74598200757c504faf85db5bc5b7c909915b5e@outlook.com","name":"Dylan Hanning"},"message":"Display norm conflicts and violations separately\n\nDisplay the norm conflicts and violations after execution in\nseparate text boxes.\n\nTo enable this, this commit also changes how the simulator works.\nIt adds the methods:\n\nSimulator.reportNormViolations()\nSimulator.reportNormConflicts()\n\nWhich return a list of the norm conflicts and violations after\nthe associated plan has been executed. The simulator also has\na Boolean executionFinished state representing the state of its world.\nThe Simulator.resetSimulator() method resets this state.","distinct":true,"url":"https://api.github.com/repos/IllegalCactus/ContractCop/commits/bf81811bea278e8e0840c853f0ef3a2f16453541"}]}