udb 0.1.7 → 0.1.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: dc1b8087c0c2fd3a61f04aef6d7a8da8192c5bca4a7796889cae7324846a79c9
-  data.tar.gz: 58d1654b58b688a4c86c53cffbe88ec522a8c99799c8b70ad08a5e06838ddd8b
+  metadata.gz: e7687f0e4c119216f5dd6a404f916175fd0b6c124e8eaacf3ffe5dbe49357548
+  data.tar.gz: 6642f33deff3b2accac49af918e563983e79418a5f2b4def6bc73ea043c6dde8
 SHA512:
-  metadata.gz: 87adb233da1614b8f034b2a5d6461617f99d408c37bd07daa131416690f309922c419316275c04392994cef252f303adc1087d4d050d4dae261e59fdaaafb5e8
-  data.tar.gz: 338ce7c06563e08d60b905fcc5d4ae106617e0555e470eb3a2d2dd4415af75f7a120f845227e9d1ef950aa458ed3535c146192d664e7ddfebb7a2b1c04633e46
+  metadata.gz: adb8bb54fdf64e9a4646cbb201c84b784c36833961ef806b150f08c9070389092711c2914e10d19d0be08d7a73b92bef482a12959f2f0edd8f30341aab1aa439
+  data.tar.gz: 3634460333a51b33b843f68cee58091f28da5fbcb818e56efe51d343fe3ebdce16579b601a83782a9360e5aae777f9f17bf8186b9b48e5410c14ec3935ae34e2

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/version.rb

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: udb
 version: !ruby/object:Gem::Version
-  version: 0.1.7
+  version: 0.1.8
 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-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: activesupport