From 0c2818cba25831d7a17d5c26f7d80fcb40515b09 Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Tue, 14 Jul 2009 13:18:15 +0000
Subject: [PATCH] moving files from funcheck to plugin.

---
 examples/{funcheck => plugin}/BST.scala                         | 2 +-
 examples/{funcheck => plugin}/ConsSnoc.scala                    | 2 +-
 examples/{funcheck => plugin}/LambdaEvaluator.scala             | 2 +-
 examples/{funcheck => plugin}/LeftistHeap.scala                 | 2 +-
 examples/{funcheck => plugin}/ListSet.scala                     | 2 +-
 examples/{funcheck => plugin}/PropositionalLogic.scala          | 2 +-
 examples/{funcheck => plugin}/SetRedBlackTree.scala             | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/InsertSort.scala    | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/MapReduce.scala     | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/MergeSort.scala     | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/MergeSortBug.scala  | 2 +-
 examples/{funcheck => plugin}/kawaguchi_pldi2010/MiniBDD.scala  | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/PosSplayHeap.scala  | 0
 .../{funcheck => plugin}/kawaguchi_pldi2010/QuickSort.scala     | 2 +-
 .../{funcheck => plugin}/kawaguchi_pldi2010/SplayHeap.scala     | 2 +-
 15 files changed, 14 insertions(+), 14 deletions(-)
 rename examples/{funcheck => plugin}/BST.scala (98%)
 rename examples/{funcheck => plugin}/ConsSnoc.scala (99%)
 rename examples/{funcheck => plugin}/LambdaEvaluator.scala (99%)
 rename examples/{funcheck => plugin}/LeftistHeap.scala (99%)
 rename examples/{funcheck => plugin}/ListSet.scala (98%)
 rename examples/{funcheck => plugin}/PropositionalLogic.scala (98%)
 rename examples/{funcheck => plugin}/SetRedBlackTree.scala (99%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/InsertSort.scala (96%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/MapReduce.scala (98%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/MergeSort.scala (96%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/MergeSortBug.scala (96%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/MiniBDD.scala (99%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/PosSplayHeap.scala (100%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/QuickSort.scala (96%)
 rename examples/{funcheck => plugin}/kawaguchi_pldi2010/SplayHeap.scala (98%)

diff --git a/examples/funcheck/BST.scala b/examples/plugin/BST.scala
similarity index 98%
rename from examples/funcheck/BST.scala
rename to examples/plugin/BST.scala
index 52ee8c8e7..c453014a3 100644
--- a/examples/funcheck/BST.scala
+++ b/examples/plugin/BST.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/ConsSnoc.scala b/examples/plugin/ConsSnoc.scala
similarity index 99%
rename from examples/funcheck/ConsSnoc.scala
rename to examples/plugin/ConsSnoc.scala
index d85a67595..ace4da4d3 100644
--- a/examples/funcheck/ConsSnoc.scala
+++ b/examples/plugin/ConsSnoc.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/LambdaEvaluator.scala b/examples/plugin/LambdaEvaluator.scala
similarity index 99%
rename from examples/funcheck/LambdaEvaluator.scala
rename to examples/plugin/LambdaEvaluator.scala
index ddf2b55fc..92e45ff76 100644
--- a/examples/funcheck/LambdaEvaluator.scala
+++ b/examples/plugin/LambdaEvaluator.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 /** ================================================= 
  *  Evaluator for the untyped lambda calculus using
diff --git a/examples/funcheck/LeftistHeap.scala b/examples/plugin/LeftistHeap.scala
similarity index 99%
rename from examples/funcheck/LeftistHeap.scala
rename to examples/plugin/LeftistHeap.scala
index 95f985ad3..5dd2ceae0 100644
--- a/examples/funcheck/LeftistHeap.scala
+++ b/examples/plugin/LeftistHeap.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import funcheck.lib.Specs._
 import scala.collection.immutable._
diff --git a/examples/funcheck/ListSet.scala b/examples/plugin/ListSet.scala
similarity index 98%
rename from examples/funcheck/ListSet.scala
rename to examples/plugin/ListSet.scala
index b212c2697..3937c1016 100644
--- a/examples/funcheck/ListSet.scala
+++ b/examples/plugin/ListSet.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import scala.collection.immutable.Set
 import funcheck.lib.Specs._
diff --git a/examples/funcheck/PropositionalLogic.scala b/examples/plugin/PropositionalLogic.scala
similarity index 98%
rename from examples/funcheck/PropositionalLogic.scala
rename to examples/plugin/PropositionalLogic.scala
index 77745aa66..db1195a34 100644
--- a/examples/funcheck/PropositionalLogic.scala
+++ b/examples/plugin/PropositionalLogic.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/SetRedBlackTree.scala b/examples/plugin/SetRedBlackTree.scala
similarity index 99%
rename from examples/funcheck/SetRedBlackTree.scala
rename to examples/plugin/SetRedBlackTree.scala
index 8716b0edf..77787ed54 100644
--- a/examples/funcheck/SetRedBlackTree.scala
+++ b/examples/plugin/SetRedBlackTree.scala
@@ -1,4 +1,4 @@
-package funcheck
+package plugin
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/kawaguchi_pldi2010/InsertSort.scala b/examples/plugin/kawaguchi_pldi2010/InsertSort.scala
similarity index 96%
rename from examples/funcheck/kawaguchi_pldi2010/InsertSort.scala
rename to examples/plugin/kawaguchi_pldi2010/InsertSort.scala
index bfc6361e6..448b8bebd 100644
--- a/examples/funcheck/kawaguchi_pldi2010/InsertSort.scala
+++ b/examples/plugin/kawaguchi_pldi2010/InsertSort.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 /* Example from paper "Type-based Data Structure Verification"
  * http://pho.ucsd.edu/liquid/demo/index2.php */
diff --git a/examples/funcheck/kawaguchi_pldi2010/MapReduce.scala b/examples/plugin/kawaguchi_pldi2010/MapReduce.scala
similarity index 98%
rename from examples/funcheck/kawaguchi_pldi2010/MapReduce.scala
rename to examples/plugin/kawaguchi_pldi2010/MapReduce.scala
index 5d68c2ae4..2388c3476 100644
--- a/examples/funcheck/kawaguchi_pldi2010/MapReduce.scala
+++ b/examples/plugin/kawaguchi_pldi2010/MapReduce.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 /* Example from paper "Type-based Data Structure Verification"
  * http://pho.ucsd.edu/liquid/demo/index2.php */
diff --git a/examples/funcheck/kawaguchi_pldi2010/MergeSort.scala b/examples/plugin/kawaguchi_pldi2010/MergeSort.scala
similarity index 96%
rename from examples/funcheck/kawaguchi_pldi2010/MergeSort.scala
rename to examples/plugin/kawaguchi_pldi2010/MergeSort.scala
index 4cb78417a..835334de2 100644
--- a/examples/funcheck/kawaguchi_pldi2010/MergeSort.scala
+++ b/examples/plugin/kawaguchi_pldi2010/MergeSort.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/kawaguchi_pldi2010/MergeSortBug.scala b/examples/plugin/kawaguchi_pldi2010/MergeSortBug.scala
similarity index 96%
rename from examples/funcheck/kawaguchi_pldi2010/MergeSortBug.scala
rename to examples/plugin/kawaguchi_pldi2010/MergeSortBug.scala
index a9e735715..b3aa4906c 100644
--- a/examples/funcheck/kawaguchi_pldi2010/MergeSortBug.scala
+++ b/examples/plugin/kawaguchi_pldi2010/MergeSortBug.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 import funcheck.lib.Specs._
 
diff --git a/examples/funcheck/kawaguchi_pldi2010/MiniBDD.scala b/examples/plugin/kawaguchi_pldi2010/MiniBDD.scala
similarity index 99%
rename from examples/funcheck/kawaguchi_pldi2010/MiniBDD.scala
rename to examples/plugin/kawaguchi_pldi2010/MiniBDD.scala
index d9f0a643e..c8e225d72 100644
--- a/examples/funcheck/kawaguchi_pldi2010/MiniBDD.scala
+++ b/examples/plugin/kawaguchi_pldi2010/MiniBDD.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 /* Example from paper "Type-based Data Structure Verification"
  * http://pho.ucsd.edu/liquid/demo/index2.php */
diff --git a/examples/funcheck/kawaguchi_pldi2010/PosSplayHeap.scala b/examples/plugin/kawaguchi_pldi2010/PosSplayHeap.scala
similarity index 100%
rename from examples/funcheck/kawaguchi_pldi2010/PosSplayHeap.scala
rename to examples/plugin/kawaguchi_pldi2010/PosSplayHeap.scala
diff --git a/examples/funcheck/kawaguchi_pldi2010/QuickSort.scala b/examples/plugin/kawaguchi_pldi2010/QuickSort.scala
similarity index 96%
rename from examples/funcheck/kawaguchi_pldi2010/QuickSort.scala
rename to examples/plugin/kawaguchi_pldi2010/QuickSort.scala
index 26db82d28..783979063 100644
--- a/examples/funcheck/kawaguchi_pldi2010/QuickSort.scala
+++ b/examples/plugin/kawaguchi_pldi2010/QuickSort.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 /* Example from paper "Type-based Data Structure Verification"
  * http://pho.ucsd.edu/liquid/demo/index2.php */
diff --git a/examples/funcheck/kawaguchi_pldi2010/SplayHeap.scala b/examples/plugin/kawaguchi_pldi2010/SplayHeap.scala
similarity index 98%
rename from examples/funcheck/kawaguchi_pldi2010/SplayHeap.scala
rename to examples/plugin/kawaguchi_pldi2010/SplayHeap.scala
index cb8ad0c8c..eaf7980a1 100644
--- a/examples/funcheck/kawaguchi_pldi2010/SplayHeap.scala
+++ b/examples/plugin/kawaguchi_pldi2010/SplayHeap.scala
@@ -1,4 +1,4 @@
-package funcheck.kawaguchi_pldi2010
+package plugin.kawaguchi_pldi2010
 
 /* Example from paper "Type-based Data Structure Verification"
  * http://pho.ucsd.edu/liquid/demo/index2.php */
-- 
GitLab