Remove DSIS from ast (#519)

* Remove DSIS from ast * Remove DSIS from __all__
angr · Sep 25, 2024 · ecb16b3 · ecb16b3
1 parent a0c6aa1
commit ecb16b3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 29 deletions.
diff --git a/claripy/__init__.py b/claripy/__init__.py
@@ -21,7 +21,6 @@
 from claripy.ast.bv import (
     BVS,
     BVV,
-    DSIS,
     ESI,
     SGE,
     SGT,
@@ -132,7 +131,6 @@
     "true",
     "BVS",
     "BVV",
-    "DSIS",
     "ESI",
     "SGE",
     "SGT",

diff --git a/claripy/ast/bv.py b/claripy/ast/bv.py
@@ -377,33 +377,6 @@ def ValueSet(bits, region=None, region_base_addr=None, value=None, name=None, va
 VS = ValueSet
 
 
-def DSIS(
-    name=None, bits=0, lower_bound=None, upper_bound=None, stride=None, explicit_name=None, to_conv=None, max_card=None
-):
-    if to_conv is not None:
-        si = claripy.backends.backend_vsa.CreateStridedInterval(bits=to_conv.size(), to_conv=to_conv)
-        return SI(
-            name=name,
-            bits=si._bits,
-            lower_bound=si._lower_bound,
-            upper_bound=si._upper_bound,
-            stride=si._stride,
-            explicit_name=explicit_name,
-            discrete_set=True,
-            discrete_set_max_card=max_card,
-        )
-    return SI(
-        name=name,
-        bits=bits,
-        lower_bound=lower_bound,
-        upper_bound=upper_bound,
-        stride=stride,
-        explicit_name=explicit_name,
-        discrete_set=True,
-        discrete_set_max_card=max_card,
-    )
-
-
 #
 # Unbound operations
 #