fixes

seal5/backends/riscv_isa_info/writer.py

@@ -32,7 +32,9 @@ def gen_riscv_isa_info_str(name: str, ext_settings: ExtensionsSettings):
     print("ext_settings", ext_settings)
     arch = ext_settings.get_arch(name=name)
     version = ext_settings.get_version()
-    assert isinstance(version, float)
+    if not isinstance(version, str):
+        assert isinstance(version, (int, float))
+        version = str(float(version))
     version_major, version_minor = str(version).split(".", 1)
 
     content_template = Template(MAKO_TEMPLATE)

seal5/flow.py

@@ -1267,7 +1267,7 @@ def generate(self, verbose: bool = False):
         if "riscv_features" not in skip:
             self.gen_riscv_features_patch()
         if "riscv_isa_infos" not in skip:
-            self.gen_riscv_isa_infos_patch()
+            self.gen_riscv_isa_info_patch()
         # if "subtarget_tests" not in skip:
         #     patches.extend(self.gen_subtarget_tests_patches())
 

seal5/settings.py

@@ -324,6 +324,12 @@ class ExtensionsSettings(YAMLSettings):
     instructions: Optional[List[str]] = None
     # patches
 
+    def get_version(self):
+        if self.version:
+            return self.version
+        else:
+            return "1.0"
+
     def get_description(self, name: Optional[str] = None):
         if self.description is None:
             if name: