Ulysse Beaugnon
Ulysse Beaugnon
Proposed fix: repeat backedges for all iterations of the current and inner loops it is on.
In particular, the evaluation of the performance model is too slow.
Here are my comments on the current error checking: - many function could be factorized between IntegerDef, EnumDef and CounterDef. All three statements define a new choice so it makes...
This mmpa feature is known to be broken. @nicoTolly has been working on it and has a PR for it. I think you should synchronise with him on that.
I think the best option would be to avoid modifying the function during the whole execution. There is currently two reasons why the function may be modified during the search:...