transformations: Support devito timers in the csl pipeline

[n-io]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.04%. Comparing base (a171e38) to head (d1e3c2e).
Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3312      +/-   ##
==========================================
- Coverage   90.04%   90.04%   -0.01%     
==========================================
  Files         445      445              
  Lines       56178    56215      +37     
  Branches     5391     5398       +7     
==========================================
+ Hits        50584    50616      +32     
- Misses       4179     4180       +1     
- Partials     1415     1419       +4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[dk949]

Looks good to me, I'm guessing we'll never be in a situation where we have two timers (if we are, the exported names will clash)

[n-io]

Looks good to me, I'm guessing we'll never be in a situation where we have two timers (if we are, the exported names will clash)

Good point, it's not actually explicitly prevented from happening. As with other exported names it also comes from the func arg name hints.