0.1.5.BETA (December 19, 2017) New Repair Interface with Explanation, manual addition of testcases, many more features