implement btor add operation

agurfinkel · Sep 22, 2021 · 94bc596 · 94bc596
1 parent f986922
commit 94bc596
Show file tree

Hide file tree

Showing 20 changed files with 6 additions and 297 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 debug
 build
+run-script.sh
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -34,5 +34,5 @@ add_definitions(${LLVM_DEFINITIONS})
 add_subdirectory(include)
 add_subdirectory(lib)
 add_subdirectory(test)
-add_subdirectory(standalone-opt)
-add_subdirectory(standalone-translate)
+add_subdirectory(btor-opt)
+add_subdirectory(btor-translate)
diff --git a/README.md b/README.md
@@ -41,5 +41,5 @@ command is installed and is globally available
 
 
 ## Contributors
-Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
+Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca> \
 Joseph Tafese <jetafese@uwaterloo.ca>
diff --git a/include/CMakeLists.txt b/include/CMakeLists.txt
@@ -1 +1 @@
-add_subdirectory(Standalone)
+add_subdirectory(Btor)
diff --git a/include/Standalone/CMakeLists.txt b/include/Standalone/CMakeLists.txt
diff --git a/include/Standalone/StandaloneDialect.h b/include/Standalone/StandaloneDialect.h
diff --git a/include/Standalone/StandaloneDialect.td b/include/Standalone/StandaloneDialect.td
diff --git a/include/Standalone/StandaloneOps.h b/include/Standalone/StandaloneOps.h
diff --git a/include/Standalone/StandaloneOps.td b/include/Standalone/StandaloneOps.td
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
@@ -1 +1 @@
-add_subdirectory(Standalone)
+add_subdirectory(Btor)
diff --git a/lib/Standalone/CMakeLists.txt b/lib/Standalone/CMakeLists.txt
diff --git a/lib/Standalone/StandaloneDialect.cpp b/lib/Standalone/StandaloneDialect.cpp
diff --git a/lib/Standalone/StandaloneOps.cpp b/lib/Standalone/StandaloneOps.cpp
diff --git a/standalone-opt/CMakeLists.txt b/standalone-opt/CMakeLists.txt
diff --git a/standalone-opt/standalone-opt.cpp b/standalone-opt/standalone-opt.cpp
diff --git a/standalone-translate/CMakeLists.txt b/standalone-translate/CMakeLists.txt
diff --git a/standalone-translate/standalone-translate.cpp b/standalone-translate/standalone-translate.cpp
diff --git a/test/Standalone/dummy.mlir b/test/Standalone/dummy.mlir
diff --git a/test/Standalone/standalone-opt.mlir b/test/Standalone/standalone-opt.mlir
diff --git a/test/Standalone/standalone-translate.mlir b/test/Standalone/standalone-translate.mlir
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		add_subdirectory(Standalone)
		add_subdirectory(Btor)