stride4 « old_test « examples « omega - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omega/examples/old_test/stride4

blob: 21781a24f6cf86138ef39cf709f20baab0e33e5f (plain)

symbolic n;
new_IS := {[i] : exists (alpha : i = 5alpha-2 && 
	                         i >= 17 && i <= 100)};
codegen new_IS;