Skip to content
GitLab

Declare LoopCounterSymbols nonnegative 

This removed some checks like `ctr1 <= 0` from my kernels
10 jobs for LoopCounterSymbols-nonnegative in 3 minutes and 34 seconds (queued for 2 seconds)
latest
72e9b47b
1 related merge request: !68 Declare LoopCounterSymbols nonnegative