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