Initial functional SMT backend using functional IR

YosysHQ · Jun 21, 2024 · 264aec6 · 264aec6
1 parent b7c1cdf
commit 264aec6
Show file tree

Hide file tree

Showing 3 changed files with 291 additions and 550 deletions.
diff --git a/backends/functional/Makefile.inc b/backends/functional/Makefile.inc
@@ -1,3 +1,3 @@
 OBJS += backends/functional/cxx.o
-#OBJS += backends/functional/smtlib.o
+OBJS += backends/functional/smtlib.o
 OBJS += backends/functional/test_generic.o
diff --git a/backends/functional/cxx.cc b/backends/functional/cxx.cc
@@ -216,8 +216,8 @@ template<class NodeNames> struct CxxPrintVisitor {
 	CxxStruct &state_struct;
 	CxxPrintVisitor(NodeNames np, CxxStruct &input_struct, CxxStruct &state_struct) : np(np), input_struct(input_struct), state_struct(state_struct) { }
 	template<class T> std::string arg_to_string(T n) { return std::to_string(n); }
-	template<> std::string arg_to_string(std::string n) { return n; }
-	template<> std::string arg_to_string(Node n) { return np(n); }
+	std::string arg_to_string(std::string n) { return n; }
+	std::string arg_to_string(Node n) { return np(n); }
 	template<typename... Args> std::string format(std::string fmt, Args&&... args) {
 		return CxxTemplate::format(fmt, arg_to_string(args)...);
 	}