fix includes

Author: kroening

src/ebmc/ebmc_base.cpp

@@ -6,19 +6,8 @@ Author: Daniel Kroening, [email protected]
 
 \*******************************************************************/
 
-#include <chrono>
-#include <fstream>
-#include <iostream>
-
-#include <util/cmdline.h>
-#include <util/config.h>
-#include <util/expr_util.h>
-#include <util/find_macros.h>
-#include <util/get_module.h>
-#include <util/string2int.h>
-#include <util/unicode.h>
-#include <util/xml.h>
-#include <util/xml_irep.h>
+#include "ebmc_base.h"
+#include "ebmc_version.h"
 
 #include <trans-netlist/trans_trace_netlist.h>
 #include <trans-netlist/ldg.h>
@@ -31,11 +20,25 @@ Author: Daniel Kroening, [email protected]
 #include <trans-word-level/unwind.h>
 #include <trans-word-level/show_modules.h>
 
+#include <langapi/language.h>
 #include <langapi/language_util.h>
 #include <langapi/mode.h>
 
-#include "ebmc_base.h"
-#include "ebmc_version.h"
+#include <solvers/prop/literal_expr.h>
+
+#include <util/cmdline.h>
+#include <util/config.h>
+#include <util/expr_util.h>
+#include <util/find_macros.h>
+#include <util/get_module.h>
+#include <util/string2int.h>
+#include <util/unicode.h>
+#include <util/xml.h>
+#include <util/xml_irep.h>
+
+#include <chrono>
+#include <fstream>
+#include <iostream>
 
 /*******************************************************************\
 

src/ic3/dnf_io.hh

@@ -6,6 +6,9 @@ Module: Some type synonyms and prototypes of functions
 Author: Eugene Goldberg, [email protected]
 
 ******************************************************/
+
+#include <iosfwd>
+
 typedef std::vector<int> CUBE;
 typedef std::vector<CUBE> DNF;
 typedef std::vector<bool> bool_vector;

src/trans-netlist/trans_to_netlist.cpp

@@ -7,6 +7,7 @@ Author: Daniel Kroening, [email protected]
 \*******************************************************************/
 
 #include <util/arith_tools.h>
+#include <util/bitvector_expr.h>
 #include <util/ebmc_util.h>
 #include <util/namespace.h>
 #include <util/std_expr.h>

src/util/ebmc_util.h

@@ -9,6 +9,7 @@
 #include <algorithm>
 
 #include <util/arith_tools.h>
+#include <util/bitvector_types.h>
 #include <util/std_types.h>
 #include <util/symbol_table.h>
 

src/verilog/verilog_synthesis.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 #include <map>
 #include <set>
 
+#include <util/bitvector_expr.h>
 #include <util/ebmc_util.h>
 #include <util/expr_util.h>
 #include <util/identifier.h>

src/verilog/verilog_typecheck.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 #include <set>
 
 #include <util/arith_tools.h>
+#include <util/bitvector_expr.h>
 #include <util/ebmc_util.h>
 #include <util/expr_util.h>
 #include <util/mathematical_types.h>

src/verilog/verilog_typecheck_expr.cpp

@@ -10,6 +10,7 @@ Author: Daniel Kroening, [email protected]
 #include <cstdlib>
 #include <algorithm>
 
+#include <util/bitvector_expr.h>
 #include <util/ebmc_util.h>
 #include <util/expr_util.h>
 #include <util/mathematical_types.h>

src/verilog/verilog_typecheck_expr.h

@@ -13,6 +13,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <stack>
 
+#include <util/bitvector_expr.h>
 #include <util/mp_arith.h>
 #include <util/namespace.h>
 #include <util/std_expr.h>

src/verilog/vtype.cpp

@@ -8,6 +8,7 @@ Author: Daniel Kroening, [email protected]
 
 #include <ostream>
 
+#include <util/bitvector_types.h>
 #include <util/std_types.h>
 
 #include "verilog_types.h"