From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001 From: Tuowen Zhao Date: Sat, 17 Sep 2016 03:22:53 +0000 Subject: cmake build --- omega/examples/old_test/wak4 | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 omega/examples/old_test/wak4 (limited to 'omega/examples/old_test/wak4') diff --git a/omega/examples/old_test/wak4 b/omega/examples/old_test/wak4 deleted file mode 100644 index 48224b9..0000000 --- a/omega/examples/old_test/wak4 +++ /dev/null @@ -1,9 +0,0 @@ -symbolic a1,a2,a3,a4,a5,b1,b2,b3,b4,b5; -IS1 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 }; -IS2 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 }; - -T1 := {[i] -> [i,0]}; -T2 := {[i] -> [i,1]}; - -codegen T1:IS1,T2:IS2; -codegen 2 T1:IS1,T2:IS2; -- cgit v1.2.3-70-g09d2