Ioannis Pavlopoulos
Results
2
comments of
Ioannis Pavlopoulos
Thank you for bringing this up @GillesJ. No action will be taken for the time being, because preliminary experiments showed that by ignoring any invalid annotations, evaluation remains practically unchanged....
This needs to be checked when the refactoring PR is merged. Leaving this open, though time has passed.