index
:
chill.git
clang
Composable High-level Loop Transformation Framework
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
omega
/
examples
/
old_test
/
p3
blob: 226a61943d8b7eccec8c96c17925265d8061ff32 (
plain
)
1
2
symbolic n; { [i] -> [i+1] : 1 <= i <= n }+;
