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

summary refs log tree commit diff

path: root/omega/examples/old_test/reach1

blob: 268868f9b5450ad76167c587ba0c8ee7a50cb100 (plain)


reachable (a,b,c)
	  { a->b:{[1]->[2]},
	     b->c:{[2]->[3]},
	     a:{[1]}};