projects / platform / upstream / isl.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
add isl_qpolynomial_fold_scale_val
[platform/upstream/isl.git] / test_inputs / application.omega
1 {[x]}
2 {[x] -> [y] : y = 2x}
3 {[y]: Exists ( alpha : 2alpha = y)}
Domain: System / Uncategorized;