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 52ee8c8e7765b0a70e1dc313a1c33c7e6351c2b9..c453014a3f3bfe4668fc66c9f263075399b5de86 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 d85a67595dd5952fb0f3ae496282253b603ecd07..ace4da4d37b3722c3176143624774bc9d02951fb 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 ddf2b55fc5c878a1c6f73e5ee8394a135466b09b..92e45ff76e53564c469b9e8117caa45af47f0fbe 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 95f985ad3049f2ad91fd00ae5901012aeadf40bc..5dd2ceae0976631878f3a8fb8accb3dd98cd4c5b 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 b212c2697d7b985d22609e69e5c0b0e241cd5231..3937c1016a0d0c8f51631bcab737d6c334a10fc2 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 77745aa6616fd052792ad5ff6d363fa3e72087b4..db1195a3404195c91029b0eb908bf0cd1f92e427 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 8716b0edf4628951f12191ef75e2b1663b1c1a4b..77787ed540e62a98c8a363ffb531dee73824873e 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 bfc6361e6485794949b98502415db43746965603..448b8bebdfa32cdac3189c4133ba21b0e6611a87 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 5d68c2ae4434403ca9a6d75fec35532d9a63bcd1..2388c3476298920c5cc720b56ed0fee1d65c0054 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 4cb78417afe842dbfc046993bcf5b26cadfca60d..835334de22759667588f81faa5c42da8e848f6d6 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 a9e7357158c96839b93a67ab8d7690a86ad7892f..b3aa4906c414a5e214de86a92d29e8fe3d089590 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 d9f0a643e4b5bc5980a79efb8503352be00d5273..c8e225d723c981495b133c209fc7e8563bd4eb91 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 26db82d286ae1d99821fcaac95c01dde90c3bd87..783979063eeb224813466e98ded0e76855527113 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 cb8ad0c8cfa2f3522de884a632c6ba79a1eb32c9..eaf7980a14cec0fadf61dd623066f32d3f89426a 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 */