index
:
cloog.git
busytown-mac1008-release
busytown-mac1010-release
linaro-master
main
master
ndk-r11-release
ndk-r12-release
ndk-r13-release
ndk-r14-release
ndk-r15-release
ndk-r16-release
ndk-release-r16
ndk-release-r17
ndk-release-r18
ndk-release-r19
ndk-release-r20
ndk-release-r21
ndk-release-r22
ndk-release-r23
Linaro component
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cloog-0.17.0
/
isl
/
test_inputs
/
equality4.pwqp
blob: 49da2e7eff63fe985e14f01a94d170df0a955c8a (
plain
)
1
[m,n] -> { [x,y] -> x^2 * y + m + 13 * n: n = 2x + 4y and 0 <= x,y <= 10 and 3 n = 5 m }