p13 « old_test « examples « omegalib - chill.git - Composable High-level Loop Transformation Framework

summary refs log tree commit diff

path: root/omegalib/examples/old_test/p13

blob: 28ca23c0766f6821c5f84fa16b1688480910e4a9 (plain)

1
2
3

T := { [d1, -1] : d1 > 0 };
T;
farkas T;