udb 0.1.7 → 0.1.9

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: dc1b8087c0c2fd3a61f04aef6d7a8da8192c5bca4a7796889cae7324846a79c9
-  data.tar.gz: 58d1654b58b688a4c86c53cffbe88ec522a8c99799c8b70ad08a5e06838ddd8b
+  metadata.gz: eacb60feeaaca9c368b3e7785efe85a03e6cf32a228b2e9b73a75eee1e527a6b
+  data.tar.gz: da1c153ff0e163d593f2ece814b9e71d3de7a421795920f9f688913f26ae170e
 SHA512:
-  metadata.gz: 87adb233da1614b8f034b2a5d6461617f99d408c37bd07daa131416690f309922c419316275c04392994cef252f303adc1087d4d050d4dae261e59fdaaafb5e8
-  data.tar.gz: 338ce7c06563e08d60b905fcc5d4ae106617e0555e470eb3a2d2dd4415af75f7a120f845227e9d1ef950aa458ed3535c146192d664e7ddfebb7a2b1c04633e46
+  metadata.gz: 920b67cb9bf2b9a6227b1251c3387050e2ea9257d400152dfc10c71dd53ff7f79bbf336749859755d415dff899b0f519a764a8e75e9d0c62d0cfedb88cef09fa
+  data.tar.gz: 34d834ebf04de3fc3da7e9ea61e84236235ef4001aadb4f53237d8afbdf5f169064ddad49c717eedee9444e4860875105623b7ef6b292a2ab94364404d9f6afa

data/.data/cfgs/example_rv64_with_overlay.yaml

@@ -606,7 +606,6 @@ params:
   TRAP_ON_ECALL_FROM_M: true
   TRAP_ON_ECALL_FROM_U: true
   TRAP_ON_EBREAK: true
-  TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY: false
   MSTATEEN_ENVCFG_TYPE: rw
   HSTATEEN_ENVCFG_TYPE: rw
   PRECISE_SYNCHRONOUS_EXCEPTIONS: true

data/.data/cfgs/rv32-riscv-tests.yaml

@@ -191,7 +191,6 @@ params:
   STVEC_MODE_VECTORED: true
   SATP_MODE_BARE: true
   TRAP_ON_ECALL_FROM_S: true
-  TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY: false
   MSTATUS_VS_LEGAL_VALUES: [0]
   MSTATUS_FS_LEGAL_VALUES: [3, 2, 1, 0]
   MSTATUS_TVM_IMPLEMENTED: false

data/.data/cfgs/rv32-vector.yaml

@@ -204,7 +204,6 @@ params:
   SATP_MODE_BARE: true
   TRAP_ON_ECALL_FROM_S: true
   TRAP_ON_ECALL_FROM_U: true
-  TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY: false
   MSTATUS_VS_LEGAL_VALUES: [0, 1, 2, 3]
   HW_MSTATUS_FS_DIRTY_UPDATE: precise
   MSTATUS_FS_LEGAL_VALUES: [0, 3]

data/.data/cfgs/rv64-riscv-tests.yaml

@@ -190,7 +190,6 @@ params:
   SATP_MODE_BARE: true
   TRAP_ON_ECALL_FROM_S: true
   TRAP_ON_ECALL_FROM_U: true
-  TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY: false
   MSTATUS_VS_LEGAL_VALUES: [0]
   MSTATUS_FS_LEGAL_VALUES: [3, 2, 1, 0]
   MSTATUS_TVM_IMPLEMENTED: false

data/.data/cfgs/rv64-vector.yaml

@@ -202,7 +202,6 @@ params:
   SATP_MODE_BARE: true
   TRAP_ON_ECALL_FROM_S: true
   TRAP_ON_ECALL_FROM_U: true
-  TRAP_ON_SFENCE_VMA_WHEN_SATP_MODE_IS_READ_ONLY: false
   MSTATUS_VS_LEGAL_VALUES: [0, 1, 2, 3]
   MSTATUS_FS_LEGAL_VALUES: [0, 1, 2, 3]
   MSTATUS_TVM_IMPLEMENTED: false

data/lib/udb/condition.rb

@@ -2007,7 +2007,10 @@ module Udb
         elsif yaml.key?("anyOf")
           LogicNode.new(LogicNodeType::Or, yaml["anyOf"].map { |node| to_logic_tree_helper(node) })
         elsif yaml.key?("noneOf")
-          LogicNode.new(LogicNodeType::Or, yaml["noneOf"].map { |node| to_logic_tree_helper(node) })
+          LogicNode.new(
+            LogicNodeType::Not,
+            [LogicNode.new(LogicNodeType::Or, yaml["noneOf"].map { |node| to_logic_tree_helper(node) })]
+          )
         elsif yaml.key?("oneOf")
           LogicNode.new(LogicNodeType::Xor, yaml["oneOf"].map { |node| to_logic_tree_helper(node) })
         elsif yaml.key?("not")

data/lib/udb/logic.rb

@@ -316,7 +316,7 @@ module Udb
       end
     end
 
-    ValueType = T.type_alias { T.any(Integer, String, T::Boolean, T::Array[T.any(Integer, String)]) }
+    ValueType = T.type_alias { T.any(Integer, String, T::Boolean, T::Array[T.any(Integer, String, T::Boolean)]) }
 
     sig { params(yaml: T::Hash[String, T.untyped]).void }
     def initialize(yaml)
@@ -1034,9 +1034,11 @@ module Udb
         elsif !@yaml.key?("includes") && other_param.to_h.key?("includes")
           -1
         end
-      elsif @yaml.key?("oneOf") || other_param.to_h.key?("oneOf")
-        if @yaml.key?("oneOf") && other_param.to_h.key?("oneOf")
-          @yaml.fetch("oneOf") <=> other_param.to_h.fetch("oneOf")
+      elsif @yaml.key?("oneOf") || other_param.comparison_type == ParameterComparisonType::OneOf
+        if @yaml.key?("oneOf") && other_param.comparison_type == ParameterComparisonType::OneOf
+          one_of = @yaml.fetch("oneOf")
+          other_one_of = T.cast(other_param.comparison_value, T::Array[T.untyped])
+          one_of.map { |e| [e.class.name, e.to_s] } <=> other_one_of.map { |e| [e.class.name, e.to_s] }
         elsif @yaml.key?("oneOf")
           1
         else
@@ -1054,14 +1056,20 @@ module Udb
         comparison_type <=> other_param.comparison_type
       elsif comparison_value != other_param.comparison_value
         cv = comparison_value
-        if cv.is_a?(String)
-          cv <=> T.cast(other_param.comparison_value, String)
+        ocv = other_param.comparison_value
+        if cv.class != ocv.class
+          cv.class.name <=> ocv.class.name
+        elsif cv.is_a?(String)
+          cv <=> T.cast(ocv, String)
         elsif cv.is_a?(Array)
-          cv <=> T.cast(other_param.comparison_value, T::Array[T.any(String, T::Boolean, Integer)])
-        elsif cv.is_a?(Integer)
-          T.cast(comparison_value, Integer) <=> T.cast(other_param.comparison_value, Integer)
+          ocv_arr = T.cast(ocv, T::Array[T.any(String, T::Boolean, Integer)])
+          cv.map { |e| [e.class.name, e.to_s] } <=> ocv_arr.map { |e| [e.class.name, e.to_s] }
         else
-          T.cast(comparison_value, T::Boolean) <=> T.cast(other_param.comparison_value, T::Boolean)
+          # cv and ocv have the same class (not String, not Array).
+          # Given the type constraints (String, Boolean, Integer), this is Integer.
+          # Two booleans with the same value are equal (cv != ocv is false), so
+          # TrueClass or FalseClass values never reach here.
+          T.cast(cv, Integer) <=> T.cast(ocv, Integer)
         end
       else
         # these are the same (ignoring reason)

data/lib/udb/version.rb

@@ -5,5 +5,5 @@
 # frozen_string_literal: true
 
 module Udb
-  def self.version = "0.1.7"
+  def self.version = "0.1.9"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: udb
 version: !ruby/object:Gem::Version
-  version: 0.1.7
+  version: 0.1.9
 platform: ruby
 authors:
 - Derek Hower
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-03-31 00:00:00.000000000 Z
+date: 2026-04-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: activesupport