Description
Currently, there are various VSA-related types in claripy/ast/bv.py. These should be moved to their own file. They include SI, TSI, ESI, ValueSet, VS, DSIS, as well as possibly a few of the ops that only make sense when a BV is actually a set type. As part of this, BV currently has a bunch of parameters that are specific to VSA, these should be a separate (possibly derived from BV) type.
Steps to reproduce the bug
No response
Environment
No response
Additional context
No response
Description
Currently, there are various VSA-related types in
claripy/ast/bv.py. These should be moved to their own file. They include SI, TSI, ESI, ValueSet, VS, DSIS, as well as possibly a few of the ops that only make sense when a BV is actually a set type. As part of this, BV currently has a bunch of parameters that are specific to VSA, these should be a separate (possibly derived from BV) type.Steps to reproduce the bug
No response
Environment
No response
Additional context
No response