Basic working version bound to Python

Author: Baltoli

bindings/core/src/core.cpp

@@ -72,7 +72,15 @@ simplify(std::shared_ptr<KOREPattern> pattern, std::shared_ptr<KORESort> sort) {
 std::shared_ptr<KOREPattern> evaluate_function(
     std::string const &label,
     std::vector<std::shared_ptr<KOREPattern>> const &args) {
-  abort();
+  auto term_args = std::vector<void *>{};
+  for (auto const &arg : args) {
+    term_args.push_back(static_cast<void *>(construct_term(arg)));
+  }
+
+  auto tag = getTagForSymbolName(label.c_str());
+  auto result = evaluateFunctionSymbol(tag, term_args.data());
+
+  return term_to_pattern(static_cast<block *>(result));
 }
 
 bool is_sort_kitem(std::shared_ptr<KORESort> const &sort) {

bindings/python/runtime.cpp

@@ -2,6 +2,7 @@
 #include <kllvm/bindings/core/core.h>
 
 #include <pybind11/pybind11.h>
+#include <pybind11/stl.h>
 
 // This header needs to be included last because it pollutes a number of macro
 // definitions into the global namespace.
@@ -55,8 +56,6 @@ void bind_runtime(py::module_ &m) {
 
   m.def("return_sort_for_label", bindings::return_sort_for_label);
 
-  m.def("simplify_bool_pattern", bindings::simplify_to_bool);
-
   m.def("evaluate_function", bindings::evaluate_function);
 
   // This class can't be used directly from Python; the mutability semantics