From 81fd292c66ffedfd9c595def3baa0fa844d6c4b2 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 23 Oct 2012 16:30:48 -0700 Subject: [PATCH] moved examples to new examples folder Signed-off-by: Leonardo de Moura --- {c++ => src/examples/c++}/README.txt | 0 {c++ => src/examples/c++}/build-external.cmd | 0 {c++ => src/examples/c++}/build.cmd | 0 {c++ => src/examples/c++}/build.sh | 0 {c++ => src/examples/c++}/example.cpp | 0 {c++ => src/examples/c++}/exec-external.cmd | 0 {c++ => src/examples/c++}/z3++.h | 0 {maxsat => src/examples/maxsat}/README-external.txt | 0 {maxsat => src/examples/maxsat}/README.txt | 0 {maxsat => src/examples/maxsat}/build-external.cmd | 0 {maxsat => src/examples/maxsat}/build.sh | 0 {maxsat => src/examples/maxsat}/ex.smt | 0 {maxsat => src/examples/maxsat}/exec-external.cmd | 0 {maxsat => src/examples/maxsat}/maxsat.c | 0 {maxsat => src/examples/maxsat}/maxsat.vcxproj | 0 {test_capi => src/examples/test_capi}/README.txt | 0 {test_capi => src/examples/test_capi}/build.sh | 0 {test_capi => src/examples/test_capi}/test_capi.c | 0 {test_capi => src/examples/test_capi}/test_capi.vcxproj | 0 19 files changed, 0 insertions(+), 0 deletions(-) rename {c++ => src/examples/c++}/README.txt (100%) rename {c++ => src/examples/c++}/build-external.cmd (100%) rename {c++ => src/examples/c++}/build.cmd (100%) rename {c++ => src/examples/c++}/build.sh (100%) rename {c++ => src/examples/c++}/example.cpp (100%) rename {c++ => src/examples/c++}/exec-external.cmd (100%) rename {c++ => src/examples/c++}/z3++.h (100%) rename {maxsat => src/examples/maxsat}/README-external.txt (100%) rename {maxsat => src/examples/maxsat}/README.txt (100%) rename {maxsat => src/examples/maxsat}/build-external.cmd (100%) rename {maxsat => src/examples/maxsat}/build.sh (100%) rename {maxsat => src/examples/maxsat}/ex.smt (100%) rename {maxsat => src/examples/maxsat}/exec-external.cmd (100%) rename {maxsat => src/examples/maxsat}/maxsat.c (100%) rename {maxsat => src/examples/maxsat}/maxsat.vcxproj (100%) rename {test_capi => src/examples/test_capi}/README.txt (100%) rename {test_capi => src/examples/test_capi}/build.sh (100%) rename {test_capi => src/examples/test_capi}/test_capi.c (100%) rename {test_capi => src/examples/test_capi}/test_capi.vcxproj (100%) diff --git a/c++/README.txt b/src/examples/c++/README.txt similarity index 100% rename from c++/README.txt rename to src/examples/c++/README.txt diff --git a/c++/build-external.cmd b/src/examples/c++/build-external.cmd similarity index 100% rename from c++/build-external.cmd rename to src/examples/c++/build-external.cmd diff --git a/c++/build.cmd b/src/examples/c++/build.cmd similarity index 100% rename from c++/build.cmd rename to src/examples/c++/build.cmd diff --git a/c++/build.sh b/src/examples/c++/build.sh similarity index 100% rename from c++/build.sh rename to src/examples/c++/build.sh diff --git a/c++/example.cpp b/src/examples/c++/example.cpp similarity index 100% rename from c++/example.cpp rename to src/examples/c++/example.cpp diff --git a/c++/exec-external.cmd b/src/examples/c++/exec-external.cmd similarity index 100% rename from c++/exec-external.cmd rename to src/examples/c++/exec-external.cmd diff --git a/c++/z3++.h b/src/examples/c++/z3++.h similarity index 100% rename from c++/z3++.h rename to src/examples/c++/z3++.h diff --git a/maxsat/README-external.txt b/src/examples/maxsat/README-external.txt similarity index 100% rename from maxsat/README-external.txt rename to src/examples/maxsat/README-external.txt diff --git a/maxsat/README.txt b/src/examples/maxsat/README.txt similarity index 100% rename from maxsat/README.txt rename to src/examples/maxsat/README.txt diff --git a/maxsat/build-external.cmd b/src/examples/maxsat/build-external.cmd similarity index 100% rename from maxsat/build-external.cmd rename to src/examples/maxsat/build-external.cmd diff --git a/maxsat/build.sh b/src/examples/maxsat/build.sh similarity index 100% rename from maxsat/build.sh rename to src/examples/maxsat/build.sh diff --git a/maxsat/ex.smt b/src/examples/maxsat/ex.smt similarity index 100% rename from maxsat/ex.smt rename to src/examples/maxsat/ex.smt diff --git a/maxsat/exec-external.cmd b/src/examples/maxsat/exec-external.cmd similarity index 100% rename from maxsat/exec-external.cmd rename to src/examples/maxsat/exec-external.cmd diff --git a/maxsat/maxsat.c b/src/examples/maxsat/maxsat.c similarity index 100% rename from maxsat/maxsat.c rename to src/examples/maxsat/maxsat.c diff --git a/maxsat/maxsat.vcxproj b/src/examples/maxsat/maxsat.vcxproj similarity index 100% rename from maxsat/maxsat.vcxproj rename to src/examples/maxsat/maxsat.vcxproj diff --git a/test_capi/README.txt b/src/examples/test_capi/README.txt similarity index 100% rename from test_capi/README.txt rename to src/examples/test_capi/README.txt diff --git a/test_capi/build.sh b/src/examples/test_capi/build.sh similarity index 100% rename from test_capi/build.sh rename to src/examples/test_capi/build.sh diff --git a/test_capi/test_capi.c b/src/examples/test_capi/test_capi.c similarity index 100% rename from test_capi/test_capi.c rename to src/examples/test_capi/test_capi.c diff --git a/test_capi/test_capi.vcxproj b/src/examples/test_capi/test_capi.vcxproj similarity index 100% rename from test_capi/test_capi.vcxproj rename to src/examples/test_capi/test_capi.vcxproj