Hello!
While checking correctness of the implementation of my library which uses ISL/PET, I was running my code with polybench, and the medley/deriche benchmark was always failing (giving wrong/different results than the original). As a sanity check, I ran it through PET's `pet_loopback` which is supposed to give the code back (more or less) as is, but the results are different even with pet_loopback, i.e. without any transformations
(-DPOLYBENCH_DUMP_ARRAYS -DSMALL_DATASET)
I didn't have time to investigate it in detail, just wanted to check here first if someone knows about this issue.
Best,
Emil