From 3e89fc092e774f3ea93b204611ccd61007d6ff9b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 26 Oct 2012 15:27:03 -0700 Subject: [PATCH] Moved Microsoft.Z3V3 to dead folder Signed-off-by: Leonardo de Moura --- scripts/mk_make.py | 3 +-- src/bindings/dotnet/{Microsoft.Z3 => }/AST.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/ASTMap.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/ASTVector.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/ApplyResult.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Constructor.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Context.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/DecRefQUeue.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Expr.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Fixedpoint.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/FuncDecl.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/FuncInterp.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Goal.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Log.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Microsoft.Z3.csproj | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Microsoft.Z3_35.csproj | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Model.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Numeral.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/ParamDescrs.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Params.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Pattern.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Probe.cs | 0 .../dotnet/{Microsoft.Z3 => }/Properties/AssemblyInfo.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Quantifier.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Solver.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Sort.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Statistics.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Status.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Symbol.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Tactic.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Version.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Z3Exception.cs | 0 src/bindings/dotnet/{Microsoft.Z3 => }/Z3Object.cs | 0 src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/AssemblyInfo.cpp | 0 .../dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.cpp | 0 src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.h | 0 .../dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj | 0 37 files changed, 1 insertion(+), 2 deletions(-) rename src/bindings/dotnet/{Microsoft.Z3 => }/AST.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/ASTMap.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/ASTVector.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/ApplyResult.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Constructor.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Context.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/DecRefQUeue.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Expr.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Fixedpoint.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/FuncDecl.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/FuncInterp.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Goal.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Log.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Microsoft.Z3.csproj (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Microsoft.Z3_35.csproj (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Model.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Numeral.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/ParamDescrs.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Params.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Pattern.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Probe.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Properties/AssemblyInfo.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Quantifier.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Solver.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Sort.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Statistics.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Status.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Symbol.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Tactic.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Version.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Z3Exception.cs (100%) rename src/bindings/dotnet/{Microsoft.Z3 => }/Z3Object.cs (100%) rename src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/AssemblyInfo.cpp (100%) rename src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.cpp (100%) rename src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.h (100%) rename src/bindings/dotnet/{ => dead}/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj (100%) diff --git a/scripts/mk_make.py b/scripts/mk_make.py index dcbd4aa56..e37013745 100644 --- a/scripts/mk_make.py +++ b/scripts/mk_make.py @@ -64,8 +64,7 @@ add_exe('shell', ['api', 'sat', 'extra_cmds'], exe_name='z3') add_exe('test', ['api', 'fuzzing'], exe_name='test-z3') API_files = ['z3_api.h'] add_dll('api_dll', ['api', 'sat', 'extra_cmds'], 'api/dll', reexports=['api'], dll_name='libz3', export_files=API_files) -add_dot_net_dll('dotnet', ['api_dll'], 'bindings/dotnet/Microsoft.Z3', dll_name='Microsoft.Z3', assembly_info_dir='Properties') -add_dot_net_dll('dotnetV3', ['api_dll'], 'bindings/dotnet/Microsoft.Z3V3', dll_name='Microsoft.Z3V3') +add_dot_net_dll('dotnet', ['api_dll'], 'bindings/dotnet', dll_name='Microsoft.Z3', assembly_info_dir='Properties') set_python_dir('bindings/python') update_version(4, 2, 0, 0) diff --git a/src/bindings/dotnet/Microsoft.Z3/AST.cs b/src/bindings/dotnet/AST.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/AST.cs rename to src/bindings/dotnet/AST.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/ASTMap.cs b/src/bindings/dotnet/ASTMap.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/ASTMap.cs rename to src/bindings/dotnet/ASTMap.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/ASTVector.cs b/src/bindings/dotnet/ASTVector.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/ASTVector.cs rename to src/bindings/dotnet/ASTVector.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/ApplyResult.cs b/src/bindings/dotnet/ApplyResult.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/ApplyResult.cs rename to src/bindings/dotnet/ApplyResult.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Constructor.cs b/src/bindings/dotnet/Constructor.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Constructor.cs rename to src/bindings/dotnet/Constructor.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Context.cs b/src/bindings/dotnet/Context.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Context.cs rename to src/bindings/dotnet/Context.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/DecRefQUeue.cs b/src/bindings/dotnet/DecRefQUeue.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/DecRefQUeue.cs rename to src/bindings/dotnet/DecRefQUeue.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Expr.cs b/src/bindings/dotnet/Expr.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Expr.cs rename to src/bindings/dotnet/Expr.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Fixedpoint.cs b/src/bindings/dotnet/Fixedpoint.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Fixedpoint.cs rename to src/bindings/dotnet/Fixedpoint.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/FuncDecl.cs b/src/bindings/dotnet/FuncDecl.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/FuncDecl.cs rename to src/bindings/dotnet/FuncDecl.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/FuncInterp.cs b/src/bindings/dotnet/FuncInterp.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/FuncInterp.cs rename to src/bindings/dotnet/FuncInterp.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Goal.cs b/src/bindings/dotnet/Goal.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Goal.cs rename to src/bindings/dotnet/Goal.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Log.cs b/src/bindings/dotnet/Log.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Log.cs rename to src/bindings/dotnet/Log.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Microsoft.Z3.csproj b/src/bindings/dotnet/Microsoft.Z3.csproj similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Microsoft.Z3.csproj rename to src/bindings/dotnet/Microsoft.Z3.csproj diff --git a/src/bindings/dotnet/Microsoft.Z3/Microsoft.Z3_35.csproj b/src/bindings/dotnet/Microsoft.Z3_35.csproj similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Microsoft.Z3_35.csproj rename to src/bindings/dotnet/Microsoft.Z3_35.csproj diff --git a/src/bindings/dotnet/Microsoft.Z3/Model.cs b/src/bindings/dotnet/Model.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Model.cs rename to src/bindings/dotnet/Model.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Numeral.cs b/src/bindings/dotnet/Numeral.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Numeral.cs rename to src/bindings/dotnet/Numeral.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/ParamDescrs.cs b/src/bindings/dotnet/ParamDescrs.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/ParamDescrs.cs rename to src/bindings/dotnet/ParamDescrs.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Params.cs b/src/bindings/dotnet/Params.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Params.cs rename to src/bindings/dotnet/Params.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Pattern.cs b/src/bindings/dotnet/Pattern.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Pattern.cs rename to src/bindings/dotnet/Pattern.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Probe.cs b/src/bindings/dotnet/Probe.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Probe.cs rename to src/bindings/dotnet/Probe.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Properties/AssemblyInfo.cs b/src/bindings/dotnet/Properties/AssemblyInfo.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Properties/AssemblyInfo.cs rename to src/bindings/dotnet/Properties/AssemblyInfo.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Quantifier.cs b/src/bindings/dotnet/Quantifier.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Quantifier.cs rename to src/bindings/dotnet/Quantifier.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Solver.cs b/src/bindings/dotnet/Solver.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Solver.cs rename to src/bindings/dotnet/Solver.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Sort.cs b/src/bindings/dotnet/Sort.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Sort.cs rename to src/bindings/dotnet/Sort.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Statistics.cs b/src/bindings/dotnet/Statistics.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Statistics.cs rename to src/bindings/dotnet/Statistics.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Status.cs b/src/bindings/dotnet/Status.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Status.cs rename to src/bindings/dotnet/Status.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Symbol.cs b/src/bindings/dotnet/Symbol.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Symbol.cs rename to src/bindings/dotnet/Symbol.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Tactic.cs b/src/bindings/dotnet/Tactic.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Tactic.cs rename to src/bindings/dotnet/Tactic.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Version.cs b/src/bindings/dotnet/Version.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Version.cs rename to src/bindings/dotnet/Version.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Z3Exception.cs b/src/bindings/dotnet/Z3Exception.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Z3Exception.cs rename to src/bindings/dotnet/Z3Exception.cs diff --git a/src/bindings/dotnet/Microsoft.Z3/Z3Object.cs b/src/bindings/dotnet/Z3Object.cs similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3/Z3Object.cs rename to src/bindings/dotnet/Z3Object.cs diff --git a/src/bindings/dotnet/Microsoft.Z3V3/AssemblyInfo.cpp b/src/bindings/dotnet/dead/Microsoft.Z3V3/AssemblyInfo.cpp similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3V3/AssemblyInfo.cpp rename to src/bindings/dotnet/dead/Microsoft.Z3V3/AssemblyInfo.cpp diff --git a/src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.cpp b/src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.cpp similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.cpp rename to src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.cpp diff --git a/src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.h b/src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.h similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.h rename to src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.h diff --git a/src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj similarity index 100% rename from src/bindings/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj rename to src/bindings/dotnet/dead/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj