From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sat, 17 Sep 2016 03:22:53 +0000
Subject: cmake build

---
 omega/examples/substitution | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 omega/examples/substitution

(limited to 'omega/examples/substitution')

diff --git a/omega/examples/substitution b/omega/examples/substitution
deleted file mode 100644
index 9d841fe..0000000
--- a/omega/examples/substitution
+++ /dev/null
@@ -1,35 +0,0 @@
-#
-# Test various variable substitution scenarios
-#
-
-symbolic n;
-
-# unimodular transformation
-#
-is := { [i,j] : 0 <=i<= 4 && 0 <= j<= 6 };
-t := { [i,j] -> [i2,j2] : i2 = i+j && j2 = i+2*j };
-codegen t:is;
-
-# non-unimodular transformation
-#
-is := { [i,j] : 0 <=i<= 4 && 0 <= j<= 6 };
-t := { [i,j] -> [i2,j2] : i2 = 2*i+j && j2 = i+2*j };
-codegen t:is;
-
-# second loop level is degenerated
-#
-is := {[i,j]:1 <= j <= 100 && j = i+4};
-t := {[i,j]->[a,b]: a = i && b = j};
-codegen t:is;
-
-# global variable case 1
-#
-is := { [i] : 19+n = i };
-t:= { [i] -> [j]: j = i };
-codegen t:is;
-
-# global variable case 2
-#
-is := {[i]: i-16 <= n < i && exists (alpha: i = n+1+3*alpha) };
-t := {[i] -> [i] : exists ( alpha : i = 1+n+18alpha)};
-codegen t:is;
-- 
cgit v1.2.3-70-g09d2