Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Stephan Seitz
pystencils
Pipelines
#18612
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