summaryrefslogtreecommitdiff
path: root/omegalib/examples/old_test/stride4
diff options
context:
space:
mode:
authorTuowen Zhao <ztuowen@gmail.com>2016-09-19 11:52:51 -0600
committerTuowen Zhao <ztuowen@gmail.com>2016-09-19 11:52:51 -0600
commit372c92e7c1901dd7bdd1d2fd48bff205c31dca2d (patch)
tree439073a6481f50b26e2e881999cc568619628987 /omegalib/examples/old_test/stride4
parent62f7acd88465f4f20b9b25c3f7edd4e3b7ce453b (diff)
downloadchill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.tar.gz
chill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.tar.bz2
chill-372c92e7c1901dd7bdd1d2fd48bff205c31dca2d.zip
remove omegacalc as subproject
Diffstat (limited to 'omegalib/examples/old_test/stride4')
-rw-r--r--omegalib/examples/old_test/stride44
1 files changed, 0 insertions, 4 deletions
diff --git a/omegalib/examples/old_test/stride4 b/omegalib/examples/old_test/stride4
deleted file mode 100644
index 21781a2..0000000
--- a/omegalib/examples/old_test/stride4
+++ /dev/null
@@ -1,4 +0,0 @@
-symbolic n;
-new_IS := {[i] : exists (alpha : i = 5alpha-2 &&
- i >= 17 && i <= 100)};
-codegen new_IS;