From cf47f6ce601ab399c9bd207a0ab5ea877f807a95 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 21 Oct 2012 14:19:00 -0700 Subject: [PATCH] renamed user_ext => user_plugin Signed-off-by: Leonardo de Moura --- mk_make.py | 2 +- src/{user_ext => user_plugin}/user_decl_plugin.cpp | 0 src/{user_ext => user_plugin}/user_decl_plugin.h | 0 src/{user_ext => user_plugin}/user_simplifier_plugin.cpp | 0 src/{user_ext => user_plugin}/user_simplifier_plugin.h | 0 src/{user_ext => user_plugin}/user_smt_theory.cpp | 0 src/{user_ext => user_plugin}/user_smt_theory.h | 0 7 files changed, 1 insertion(+), 1 deletion(-) rename src/{user_ext => user_plugin}/user_decl_plugin.cpp (100%) rename src/{user_ext => user_plugin}/user_decl_plugin.h (100%) rename src/{user_ext => user_plugin}/user_simplifier_plugin.cpp (100%) rename src/{user_ext => user_plugin}/user_simplifier_plugin.h (100%) rename src/{user_ext => user_plugin}/user_smt_theory.cpp (100%) rename src/{user_ext => user_plugin}/user_smt_theory.h (100%) diff --git a/mk_make.py b/mk_make.py index 2896f6828..723fe4027 100644 --- a/mk_make.py +++ b/mk_make.py @@ -51,7 +51,7 @@ add_lib('proof_checker', ['rewriter', 'spc']) add_lib('bit_blaster', ['rewriter', 'simplifier', 'old_params', 'framework', 'assertion_set']) add_lib('smt', ['assertion_set', 'bit_blaster', 'macros', 'normal_forms', 'framework', 'substitution', 'grobner', 'euclid', 'proof_checker', 'pattern', 'parser_util']) -add_lib('user_ext', ['smt']) +add_lib('user_plugin', ['smt']) add_lib('core_tactics', ['framework', 'normal_forms']) add_lib('arith_tactics', ['core_tactics', 'assertion_set']) add_lib('sat_tactic', ['framework', 'sat']) diff --git a/src/user_ext/user_decl_plugin.cpp b/src/user_plugin/user_decl_plugin.cpp similarity index 100% rename from src/user_ext/user_decl_plugin.cpp rename to src/user_plugin/user_decl_plugin.cpp diff --git a/src/user_ext/user_decl_plugin.h b/src/user_plugin/user_decl_plugin.h similarity index 100% rename from src/user_ext/user_decl_plugin.h rename to src/user_plugin/user_decl_plugin.h diff --git a/src/user_ext/user_simplifier_plugin.cpp b/src/user_plugin/user_simplifier_plugin.cpp similarity index 100% rename from src/user_ext/user_simplifier_plugin.cpp rename to src/user_plugin/user_simplifier_plugin.cpp diff --git a/src/user_ext/user_simplifier_plugin.h b/src/user_plugin/user_simplifier_plugin.h similarity index 100% rename from src/user_ext/user_simplifier_plugin.h rename to src/user_plugin/user_simplifier_plugin.h diff --git a/src/user_ext/user_smt_theory.cpp b/src/user_plugin/user_smt_theory.cpp similarity index 100% rename from src/user_ext/user_smt_theory.cpp rename to src/user_plugin/user_smt_theory.cpp diff --git a/src/user_ext/user_smt_theory.h b/src/user_plugin/user_smt_theory.h similarity index 100% rename from src/user_ext/user_smt_theory.h rename to src/user_plugin/user_smt_theory.h