Change hart_id types to size_t

Author: mmichilot

hammer.cpp

@@ -22,7 +22,7 @@ static std::vector<std::pair<reg_t, mem_t *>> make_mems(const std::vector<mem_cf
 }
 
 Hammer::Hammer(const char *isa, const char *privilege_levels, const char *vector_arch,
-               std::vector<int> hart_ids, std::vector<mem_cfg_t> memory_layout,
+               std::vector<size_t> hart_ids, std::vector<mem_cfg_t> memory_layout,
                const std::string target_binary, const std::optional<uint64_t> start_pc) {
   // Expose these only if needed
   std::vector<std::pair<reg_t, abstract_device_t *>> plugin_devices;

hammer.h

@@ -13,7 +13,7 @@
 class Hammer {
  public:
   Hammer(const char *isa, const char *privilege_levels, const char *vector_arch,
-         std::vector<int> hart_ids, std::vector<mem_cfg_t> memory_layout,
+         std::vector<size_t> hart_ids, std::vector<mem_cfg_t> memory_layout,
          const std::string target_binary, const std::optional<uint64_t> start_pc = std::nullopt);
   ~Hammer();
 

hammer_pybind.cpp

@@ -15,7 +15,7 @@ PYBIND11_MODULE(hammer, m) {
   pybind11::class_<mem_t>(m, "mem_t").def(pybind11::init<reg_t>());
 
   pybind11::class_<Hammer>(m, "Hammer")
-      .def(pybind11::init<const char *, const char *, const char *, std::vector<int>,
+      .def(pybind11::init<const char *, const char *, const char *, std::vector<size_t>,
                           std::vector<mem_cfg_t>, const std::string,
                           const std::optional<uint64_t>>())
       .def("hello_world", &Hammer::hello_world)