add initial version of functional smtlib backend

YosysHQ · May 23, 2024 · 217ea27 · 217ea27
1 parent cbb49d4
commit 217ea27
Show file tree

Hide file tree

Showing 4 changed files with 547 additions and 5 deletions.
diff --git a/backends/functional/Makefile.inc b/backends/functional/Makefile.inc
@@ -1 +1,2 @@
 OBJS += backends/functional/cxx.o
+OBJS += backends/functional/smtlib.o
diff --git a/backends/functional/cxx.cc b/backends/functional/cxx.cc
@@ -214,10 +214,10 @@ class CxxComputeGraphFactory {
 		pending.set_function(CxxFunction(ID($$buf), pending.function().width));
 		pending.append_arg(node);
 	}
-	void declare_output(T node, IdString name) {
+	void declare_output(T node, IdString name, int) {
 		node.assign_key(name);
 	}
-	void declare_state(T node, IdString name) {
+	void declare_state(T node, IdString name, int) {
 		node.assign_key(name);
 	}
 	void suggest_name(T node, IdString name) {