Remove unused and deprecated files

diffblue · Apr 27, 2018 · bb2794b · bb2794b
1 parent 77ef440
commit bb2794b
Show file tree

Hide file tree

Showing 28 changed files with 5 additions and 1,679 deletions.
diff --git a/src/cpp/recursion_counter.h b/src/cpp/recursion_counter.h
diff --git a/src/goto-analyzer/static_analyzer.cpp b/src/goto-analyzer/static_analyzer.cpp
diff --git a/src/goto-analyzer/static_analyzer.h b/src/goto-analyzer/static_analyzer.h
diff --git a/src/goto-instrument/accelerate/path_acceleration.h b/src/goto-instrument/accelerate/path_acceleration.h
diff --git a/src/goto-instrument/accelerate/polynomial_accelerator.h b/src/goto-instrument/accelerate/polynomial_accelerator.h
@@ -24,12 +24,11 @@ Author: Matt Lewis
 #include "polynomial.h"
 #include "path.h"
 #include "accelerator.h"
-#include "path_acceleration.h"
 #include "acceleration_utils.h"
 #include "cone_of_influence.h"
 #include "overflow_instrumenter.h"
 
-class polynomial_acceleratort:public path_accelerationt
+class polynomial_acceleratort
 {
 public:
   polynomial_acceleratort(

diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
@@ -1,5 +1,4 @@
-SRC = basic_blocks.cpp \
-      builtin_functions.cpp \
+SRC = builtin_functions.cpp \
       class_hierarchy.cpp \
       class_identifier.cpp \
       compute_called_functions.cpp \
@@ -19,7 +18,6 @@ SRC = basic_blocks.cpp \
       goto_inline.cpp \
       goto_inline_class.cpp \
       goto_program.cpp \
-      goto_program_irep.cpp \
       goto_program_template.cpp \
       goto_trace.cpp \
       graphml_witness.cpp \