Remove VSA types from `claripy.ast.bv`
Offen
bug
needs-triage
- Vorherrschende Sprache
- Python
- Sterne
- 334
- Forks
- 105
- Ø Merge
- 6 Std. 1 Min.
- Gemergte PRs (30 T.)
- 3
Beschreibung
### 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_
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.