From 372c92e7c1901dd7bdd1d2fd48bff205c31dca2d Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 11:52:51 -0600
Subject: remove omegacalc as subproject

---
 omegalib/examples/floor_bound | 46 -------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 omegalib/examples/floor_bound

(limited to 'omegalib/examples/floor_bound')

diff --git a/omegalib/examples/floor_bound b/omegalib/examples/floor_bound
deleted file mode 100644
index 3cb0d57..0000000
--- a/omegalib/examples/floor_bound
+++ /dev/null
@@ -1,46 +0,0 @@
-#
-# Test floor/ceiling variable definitions in loop bounds
-# Notes:
-#   intFloor, intCeil are strict mathematical definition,
-#   intMod(a,b) always has input b>0 and returns [0,b).
-#
-
-symbolic m, n;
-
-# loop is strided
-#
-is := {[i]: exists (alpha: i = 4alpha && m <= 3i <= n)};
-codegen is;
-
-# only one single floor/ceiling variable in bound
-#
-is := {[i]: exists (lb: m-4 < 4*lb <= m && lb <= i <= n)};
-codegen is;
-
-# the floor/ceiling variable in bound has coefficient
-#
-is := {[i]: exists (lb: m-4 < 4*lb <= m && 4*lb <= i <= n)};
-codegen is;
-
-# mutiple floor/ceiling variables in bound
-#
-is := {[i]:exists (alpha,beta: m-4<4alpha<=m && m-3<3beta<=m &&
-           4alpha+3*beta<=i<=n )};
-codegen is;
-
-# non-tight floor/ceiling definition
-#
-is := {[i]: exists (ub: n-2 < 3*ub <= n && m <= i <= 5*ub)};
-codegen is;
-
-# chain floor/ceiling definitions
-#
-is := {[i]: exists (alpha, beta: beta-4<4alpha<=beta &&
-            m-8<8beta<=m && 4alpha<=i<=n )};
-codegen is;
-
-# one complicated case
-#
-is := {[i]: exists (alpha, beta: beta-4<4alpha<=beta &&
-            m-7<8beta<=m && 4alpha<=i<=n )};
-codegen is;
-- 
cgit v1.2.3-70-g09d2