[package] change the search directory of extension

WaterBlock623 · Avimitin · commit f9042ba7c55b · 2026-01-21T18:52:28.000+08:00
diff --git a/rvdecoderdb/jvm/src/package.scala b/rvdecoderdb/jvm/src/package.scala
@@ -19,7 +19,7 @@ package object rvdecoderdb {
     }
 
     val official = os
-      .walk(riscvOpcodes)
+      .walk(riscvOpcodes / "extensions")
       .filter(isInstructionSetFile)
       .map(f => (f.baseName, os.read(f), !f.segments.contains("unratified"), false))
 

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ package object rvdecoderdb {`
`19`	`19`	`}`
`20`	`20`
`21`	`21`	`val official = os`
`22`		`- .walk(riscvOpcodes)`
	`22`	`+ .walk(riscvOpcodes / "extensions")`
`23`	`23`	`.filter(isInstructionSetFile)`
`24`	`24`	`.map(f => (f.baseName, os.read(f), !f.segments.contains("unratified"), false))`
`25`	`25`