Code

Add VSA set types#550

Code

Open

twizmwazin wants to merge 10 commits intomasterangr/claripy:masterfrom feat/bvsetangr/claripy:feat/bvsetCopy head branch name to clipboard

+576-5,549

Commits

Commits on Oct 11, 2024

• Add VSA set types

  twizmwazin

  committed
  32d2410

  Copy full SHA for 32d2410

• Make the VSA backend a stub

  twizmwazin

  committed
  0d863bb

  Copy full SHA for 0d863bb

• Remove StridedIntervalAnnotation

  twizmwazin

  committed
  aad55c6

  Copy full SHA for aad55c6

• Fix number of args in vsa_reverse_simplifier

  twizmwazin

  committed
  acc023e

  Copy full SHA for acc023e

• Add simplify_bvset function

  twizmwazin

  committed
  5de6e0a

  Copy full SHA for 5de6e0a

• Remove cardinality from vsa backend

  twizmwazin

  committed
  8cd5bfa

  Copy full SHA for 8cd5bfa

• Remove vsa accessors from base

  twizmwazin

  committed
  5f957e5

  Copy full SHA for 5f957e5

• Improve bvset.py

  twizmwazin

  committed
  f722fbf

  Copy full SHA for f722fbf

• Add offset param to ValueSet

  twizmwazin

  committed
  2752cde

  Copy full SHA for 2752cde

• Handle vsa simplifiers returning None

  twizmwazin

  committed
  4eb8a8f

  Copy full SHA for 4eb8a8f